scientific article; zbMATH DE number 1418281
From MaRDI portal
Recommendations
Cited in
(22)- Automated inferencing
- Automated deduction with associative-commutative operators
- Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods
- Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques
- Automated deduction techniques for the management of personalized documents
- Logics, mathematics, automatic deduction
- scientific article; zbMATH DE number 4160159 (Why is no real title available?)
- SOLAR: An automated deduction system for consequence finding
- scientific article; zbMATH DE number 3972241 (Why is no real title available?)
- Automatic theorem proving. II
- A Prolog-based expert system for modeling with partial differential equations
- scientific article; zbMATH DE number 1552519 (Why is no real title available?)
- scientific article; zbMATH DE number 1765701 (Why is no real title available?)
- Automated natural deduction prover and experiments
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Automated deduction for verification
- Logic Programming and Nonmonotonic Reasoning
- A Short Survey of Automated Reasoning
- Towards automated deduction in cP systems
- Automated deduction
- Computer theorem proving in mathematics
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941841)
