Title: Artificial intelligence and symbolic mathematical computation
First published: 1996
Description: Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.
Subjects: Artificial intelligence, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: Q334 .A766 1996