Mechanizing Mathematical Reasoning

DOI10.1007/B106663zbMATH Open1098.68116OpenAlexW2484955858MaRDI QIDQ5717466

Andrei Voronkov, Dmitri Leonidovich Chubarov

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Mechanizing Mathematical Reasoning