Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings

DOI10.1007/978-3-540-71070-7zbMath1149.68003OpenAlexW4205349297MaRDI QIDQ951681

No author found.

Publication date: 27 October 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (6)

NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment ⋮ Quantified multimodal logics in simple type theory ⋮ MaLeCoP Machine Learning Connection Prover ⋮ Machine learning guidance for connection tableaux ⋮ Sine Qua Non for Large Theory Reasoning ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)

Uses Software

• Aligator
• TPTP
• Abella
• MTT
• MaLARea
• LogAnswer

This page was built for publication: Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings