Delivery included to the United States

Artificial Intelligence and Symbolic Computation

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

1998

Paperback (02 Sep 1998)

Save $7.05

  • RRP $61.51
  • $54.46
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.
The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.

Book information

ISBN: 9783540649601
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 1998
DEWEY: 006.3
DEWEY edition: 23
Language: English
Number of pages: 307
Weight: 462g
Height: 234mm
Width: 156mm
Spine width: 17mm