scientific article; zbMATH DE number 1568006

zbMATH Open0967.68127MaRDI QIDQ4761817FDOQ4761817

Authors: Larry Wos, Gail W. Pieper 

Publication date: 21 February 2001

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1252517
• scientific article; zbMATH DE number 3904557
• scientific article; zbMATH DE number 4104410
• scientific article; zbMATH DE number 3904558
• scientific article; zbMATH DE number 53302

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Wos Challenge Met
• Larry Wos: visions of automated reasoning
• Set of support, demodulation, paramodulation: a historical perspective
• On the independence of axioms in BL and MTL
• Title not available (Why is that?)
• A Short Survey of Automated Reasoning
• Title not available (Why is that?)
• 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)