Cargando…
Teaching Automated Theorem Proving by Example: PyRes 1.2: (System Description)
PyRes is a complete theorem prover for classical first-order logic. It is not designed for high performance, but to clearly demonstrate the core concepts of a saturating theorem prover. The system is written in extensively commented Python, explaining data structures, algorithms, and many of the und...
Autores principales: | Schulz, Stephan, Pease, Adam |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324010/ http://dx.doi.org/10.1007/978-3-030-51054-1_9 |
Ejemplares similares
-
Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001) -
First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990) -
Automation in language translation and theorem proving: some applications of mathematical logic
por: Van Scheepen, Francs, et al.
Publicado: (1968) -
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
por: Dalmonte, Tiziano, et al.
Publicado: (2020) -
Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)