scientific article; zbMATH DE number 1354109

zbMATH Open0926.03005MaRDI QIDQ4268421

A. E. Bolotov, A. E. Gorchakov, V. A. Bocharov

Publication date: 28 October 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

automated theorem provingproof searchnatural deduction calculus of classical predicate logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (5)

Proof-Search in Natural Deduction Calculus for Classical Propositional Logic ⋮ Formal Techniques for Deriving Binary Search Algorithms ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

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 Q4268421)