Title: Artificial intelligence, automated reasoning, and symbolic computation
First published: 2002
LC classification: Q334 .A768 2002