Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.03307MaRDI QIDQ5705918

Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek

Publication date: 10 November 2005

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

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

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B35: Mechanization of proofs and logical operations

Uses Software

• OTTER
• VAMPIRE
• TPTP
• EQP