[ Kaynak: prover9-manual ]
Paket: prover9-doc (0.0.200902a-2)
prover9-doc için bağlantılar
Trisquel Kaynakları:
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:
Original Maintainer:
- Debian QA Group
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 (default version)
prover9-doc indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 944,0 kB | 3119 kB | [dosya listesi] |