scientific article; zbMATH DE number 1418281
From MaRDI portal
Publication:4941841
zbMath0947.03011MaRDI QIDQ4941841
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Related Items (4)
Towards automated deduction in cP systems ⋮ A Prolog-based expert system for modeling with partial differential equations ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Computer theorem proving in mathematics
This page was built for publication:
