Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Isabelle, HOL a proof assistant for higher-order logic von Nipkow, Tobias 1958-, Paulson, Lawrence C., Wenzel, Markus

Automated theorem proving in software engineering von Schumann, Johann

Handbook of tableau methods

Lectures on proof verification and approximation algorithms

Deduction systems von Socher, Rolf, Johann, Patricia

Inhaltsverzeichnis

The resolution calculus von Leitsch, Alexander

Inhaltsverzeichnis

Basic proof theory von Troelstra, Anne S. 1939-2019, Schwichtenberg, Helmut 1942-

Automated deduction in equational logic and cubic curves von McCune, William 1953-2011, Padmanabhan, Ranganathan 1938-

Efficient checking of polynomials and proofs and the hardness of approximation problems von Sudan, Madhu 1966-

Metamathematics, machines, and Gödel's proof von Shankar, N.

Automated deduction in multiple-valued logics von Hähnle, Reiner

Inhaltsverzeichnis

Computational logic essays in honor of Alan Robinson

First-order logic and automated theorem proving von Fitting, Melvin

Deduction systems in artificial intelligence

Communication complexity a new approach to circuit depth von Karchmer, Mauricio

PX: a computational logic von Hayashi, Susumu, Nakano, Hiroshi

Logic programming operational semantics and proof theory von Andrews, James H.

Automation of reasoning classical papers on computational logic

The computer modelling of mathematical reasoning von Bundy, Alan