OTTER experiments in a system of combinatory logic

Συγγραφείς: Thomas Jech

Πηγή: Journal of Automated Reasoning. 14:413-426

Θεματικοί όροι: illative combinatory logic, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, experiments involving the automated theorem-proving program OTTER, TRC, Mathematics - Logic, 02 engineering and technology, 0101 mathematics, Logic (math.LO), Software, source code, etc. for problems pertaining to mathematical logic and foundations, 01 natural sciences, Theorem proving (deduction, resolution, etc.)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/math/9409201v1.pdf
http://arxiv.org/abs/math/9409201
https://zbmath.org/769078
https://doi.org/10.1007/bf00881715
https://ui.adsabs.harvard.edu/abs/1994math......9201J/abstract
https://link.springer.com/article/10.1007%2FBF00881715
https://dblp.uni-trier.de/db/journals/jar/jar14.html#Jech95