Logistica 2.0: a technology for implementing automatic deduction systems

DOI10.1007/B12030MaRDI QIDQ5187872zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2010

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

Full work available at URL https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Recommendations

• Logic programming as a basis for lean automated deduction
• A Rule-Based System for Computation and Deduction in Mathematica
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• scientific article; zbMATH DE number 4102512
• An experimental logic based on the fundamental deduction principle

Cited in

(1)

• scientific article; zbMATH DE number 44853 (Why is no real title available?)

This page was built for publication: Logistica 2.0: a technology for implementing automatic deduction systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5187872)