[ Kaynak: prover9-manual ]
Paket: prover9-doc (0.0.200902a-2)
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.dsc]
- [prover9-manual_0.0.200902a.orig.tar.gz]
- [prover9-manual_0.0.200902a-2.debian.tar.gz]
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
- the LADR deduction library, miscellaneous applications
-
- sug: prover9
- theorem prover and countermodel generator
-
- sug: python
- interactive high-level object-oriented language (Python2 version)
prover9-doc indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 946,3 kB | 3.118,0 kB | [dosya listesi] |