Publication:5465013

zbMath1077.68096MaRDI QIDQ5465013

Ulrich Scholz

Publication date: 19 August 2005

Mathematics Subject Classification ID

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• E Theorem Prover