scientific article; zbMATH DE number 1568006

From MaRDI portal

Revision as of 22:57, 6 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4761817

Jump to:navigation, search

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 reasoning resolution method Collected 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 (1)

On the independence of axioms in BL and MTL

This page was built for publication:

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