Title: A fascinating country in the world of computing
First published: 1999
Subjects: Automatic theorem proving, Knowledge-based systems / expert systems, Applied, Applied Mathematics, Mathematics, Computers - General Information, Science/Mathematics, Artificial Intelligence - General, General, Computer science