Computer-aided reasoning : an approach /

Bibliographic Details
Other Authors: Kaufmann, Matt (ed.), Manolios, Panagiotis (ed.), Moore, J. Strother, 1947- (ed.,)
Format: Book
Language:English
Published: [Austin, Texas : Kluwer, 2002.]
Series:Computational logic applicative common lisp
Subjects: