Artificial Intelligence, Automated Reasoning, and Symbolic Computation
-
heftet
,
Engelsk, 2002