Items related to Artificial Intelligence and Symbolic Computation: Internatio...
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings: 1476 (Lecture Notes in Computer Science, 1476) - Softcover
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540649603
- ISBN 13 9783540649601
- BindingPaperback
- Number of pages328
- EditorCalmet Jacques, Plaza Jan
Top Search Results from the AbeBooks Marketplace
Seller Image
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture Notes in Computer Science (1476)) by Plaza, Jan, Calmet, Jacques [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540649601
Buy New
£ 46.11
Convert currency
Stock Image
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture Notes in Computer Science, 1476)
Published by
Springer
(1998)
ISBN 10: 3540649603
ISBN 13: 9783540649601
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020173581
Buy New
£ 49.45
Convert currency
Stock Image
Artificial Intelligence and Symbolic Computation : International Conference AISC'98; Plattsburgh; New York; USA; September 16-18; 1998; Proceedings
Published by
Springer
(1998)
ISBN 10: 3540649603
ISBN 13: 9783540649601
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540649601_lsuk
Buy New
£ 50.20
Convert currency
Stock Image
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540649601
Buy New
£ 64.52
Convert currency
Seller Image
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Published by
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540649603
ISBN 13: 9783540649601
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540649601
Buy New
£ 52.88
Convert currency
Seller Image
Artificial Intelligence and Symbolic Computation
Published by
Springer Berlin Heidelberg
(1998)
ISBN 10: 3540649603
ISBN 13: 9783540649601
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 incl. Seller Inventory # 4897001
Buy New
£ 42.98
Convert currency
Seller Image
Artificial Intelligence and Symbolic Computation
Published by
Springer Berlin Heidelberg Sep 1998
(1998)
ISBN 10: 3540649603
ISBN 13: 9783540649601
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 328 pp. Englisch. Seller Inventory # 9783540649601
Buy New
£ 66.55
Convert currency