Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Jan Plaza - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540649601 - September 2, 1998
In case cover and title do not match, the title is correct

Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

Price
HK$ 430
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 5 - 11
Get notified about new Jan Plaza releases
Add to your iMusic wish list

Not rated yet

The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.


328 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 2, 1998
ISBN13 9783540649601
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 328
Dimensions 156 × 234 × 17 mm   ·   458 g
Language German  
Editor Calmet, Jacques C.
Editor Plaza, Jan

More from the same publisher