Title: Artificial intellegience and symbolic computation
First published: 2001
Subjects: Artificial intelligence, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic