Annotated reasoning

From MaRDI portal

Publication:1601866

Jump to:navigation, search

DOI10.1023/A:1018980012242zbMath1001.68125OpenAlexW2914951185MaRDI QIDQ1601866

Dieter Hutter

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018980012242

zbMATH Keywords

rippling proof search automated deduction strategies tactical theorem prooving

Mathematics Subject Classification ID

Related Items (3)

Deduction as an Engineering Science ⋮ Agenda control for heterogeneous reasoners ⋮ A Pragmatic Approach to Reuse in Tactical Theorem Proving

This page was built for publication: Annotated reasoning

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1601866&oldid=13898042"