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

Jan Plaza
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
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
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

Mere med samme udgiver

See all of Jan Plaza ( e.g. Paperback Book )