✦ LIBER ✦

Automating the Search for Elegant Proofs

✍ Scribed by Larry Wos

Book ID: 110229775
Publisher: Springer Netherlands
Year: 1998
Tongue: English
Weight: 213 KB
Volume: 21
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1005847113370

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semi-automating the manual literature se

Semi-automating the manual literature search for systematic reviews increases efficiency

✍ Andrea L. Chapman; Laura C. Morgan; Gerald Gartlehner 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 192 KB

Bitboard knowledge base system and elega

Bitboard knowledge base system and elegant search architectures for Connect6

✍ Shi-Jim Yen; Jung-Kuei Yang; Kuo-Yuan Kao; Tai-Ning Yang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 953 KB

A New Look at Galileo's Search for Mathe

A New Look at Galileo's Search for Mathematical Proofs

✍ P. Palmieri 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 793 KB

Search algorithms for automated validati

Search algorithms for automated validation

✍ Tom A.N. Engels; Jan Friso Groote; Muck J. van Weerdenburg; Tim A.C. Willemse 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Automated compositional proofs for real-

Automated compositional proofs for real-time systems

✍ Carlo A. Furia; Matteo Rossi; Dino Mandrioli; Angelo Morzenti 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Notes Towards a Semantics for Proof-sear

Notes Towards a Semantics for Proof-search

✍ David J. Pym 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Algorithmic proof-search is an essential enabling technology throughout informatics. Proof-search is the proof-theoretic realization of the formulation of logic not as a theory of deduction but rather as a theory of reduction. Whilst deductive logics typically have a well-developed semantics of proo