scientific article; zbMATH DE number 1568006

MaRDI QIDQ4761817zbMATH OpenFDO

Authors Larry Wos, Gail W. Pieper

Publication date 21 February 2001

Full work available at URL http://www.worldscientific.com/worldscibooks/10.1142/4164

zbMATH Keywords

resolution methodautomated reasoningCollected works

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in artificial intelligence (68T01)

Cited in

(12)

• The application of automated reasoning to formal models of combinatorial optimization
• A Wos Challenge Met
• Larry Wos: visions of automated reasoning
• Set of support, demodulation, paramodulation: a historical perspective
• scientific article; zbMATH DE number 3904557 (Why is no real title available?)
• scientific article; zbMATH DE number 1865568 (Why is no real title available?)
• On the independence of axioms in BL and MTL
• scientific article; zbMATH DE number 4104410 (Why is no real title available?)
• A Short Survey of Automated Reasoning
• scientific article; zbMATH DE number 1670763 (Why is no real title available?)
• Handbook of automated reasoning. In 2 vols
• Automated reasoning contributes to mathematics and logic

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