[ Kaynak: prover9-manual ]
Paket: prover9-doc (0.0.200902a-2.1)
prover9-doc için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
prover9-manual Kaynak Paketini İndir:
- [prover9-manual_0.0.200902a-2.1.dsc]
- [prover9-manual_0.0.200902a.orig.tar.gz]
- [prover9-manual_0.0.200902a-2.1.debian.tar.xz]
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [www.cs.unm.edu]
Benzer paketler:
documentation for Prover9 and associated programs
Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection.
This package provides documentation for Prover9, Mace4 and other associated programs.
prover9-doc ile İlgili Diğer Paketler
|
|
|
|
-
- sug: ladr4-apps
- Paket mevcut değil
-
- sug: prover9
- Paket mevcut değil
-
- sug: python
- Paket mevcut değil
prover9-doc indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 837,2 kB | 3.183,0 kB | [dosya listesi] |