scientific article; zbMATH DE number 1568006

zbMath0967.68127MaRDI QIDQ4761817

Gail W. Pieper, Larry Wos

Publication date: 21 February 2001

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoningresolution methodCollected 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)

Related Items

On the independence of axioms in BL and MTL