
Artificial Intelligence and Symbolic Computation (English, Jacques Calmet | Jan Plaza)
Inclusive of all applicable taxes. FREE shipping on all orders.
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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 Specifications
| ISBN-13 | 9783540649601 |
| ISBN-10 | 3540649603 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Language | English |
| Dimensions | 15.49 x 1.88 x 23.5 cm |
| Weight | 431 g |
| Country | India |
| Category | Mathematics › Algebra & Trigonometry |
Frequently Asked Questions
What is the price of Artificial Intelligence and Symbolic Computation?
Does BookShops.in offer free delivery for Artificial Intelligence and Symbolic Computation?
Is Cash on Delivery available for Artificial Intelligence and Symbolic Computation?
What is the return policy for Artificial Intelligence and Symbolic Computation?
Is Artificial Intelligence and Symbolic Computation authentic?
Customers Also Bought

Mathematics
Stereotype Spaces and Algebras: 73 (De Gruyter Expositions in Mathematics, 73)

Mathematics
Semigroups in Algebra, Geometry and Analysis: 20 (De Gruyter Expositions in Mathematics, 20)

Mathematics
Geometry from the Pacific Rim: Proceedings of the Pacific Rim Geometry Conference held at National University of Singapore, Republic of Singapore, ... 1994 (De Gruyter Proceedings in Mathematics)

Mathematics
First International Tainan-Moscow Algebra Workshop: Proceedings of the International Conference held at National Cheng Kung University Tainan, Taiwan, ... 1994 (De Gruyter Proceedings in Mathematics)

Mathematics
Differential Geometry - Proceedings of the VIII International Colloquium (English, Jesus A. Alvarez Lopez | Eduardo Garcia-Rio)

Mathematics
Mathematical Theory of Optimal Processes (Classics of Soviet Mathematics)
Related Products
View All
Mathematics
Mathematical Theory of Optimal Processes (Classics of Soviet Mathematics)

Mathematics
Stereotype Spaces and Algebras: 73 (De Gruyter Expositions in Mathematics, 73)

Mathematics
Semigroups in Algebra, Geometry and Analysis: 20 (De Gruyter Expositions in Mathematics, 20)

Mathematics
Geometry from the Pacific Rim: Proceedings of the Pacific Rim Geometry Conference held at National University of Singapore, Republic of Singapore, ... 1994 (De Gruyter Proceedings in Mathematics)

Mathematics
First International Tainan-Moscow Algebra Workshop: Proceedings of the International Conference held at National Cheng Kung University Tainan, Taiwan, ... 1994 (De Gruyter Proceedings in Mathematics)

Mathematics
