Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540498162
Condition
New
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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Bioactive Marine Natural Products

$169.00

Methodology for the Digital Calibration of Analog Circuits and Systems

$129.00

Green H2 Transport through LH2, NH3 and LOHC

$54.99

Innovation as a Basis for Competitiveness

$109.99

Progress in Atomic Spectroscopy

$84.99

Excitonic Processes in Solids

$39.99

Cybersecurity

$48.00

Foundations and Methods in Combinatorial and Statistical Data Analysis and Clustering

$129.00

Theories and Simulations of Complex Social Systems

$109.99

Mathematical Methods and Models in Economic Planning, Management and Budgeting

$179.00

Akne

$84.99

Phonics Chapter Book - Level 2: History Mystery

$6.74

Rhetoric and Reality on the U.S.Mexico Border

$29.99

The Circulation of Power in Medieval Biblical Drama

$54.99

Reviews of Environmental Contamination and Toxicology Volume 240

$89.00

Zhong and Zhongyong in Confucian Classics

$54.99

Serving on a Jury (A True Book: Civics)

$5.21

Un da en la vida de un pingino

$5.21

Womb Politics: A Short History of the Future of Human Reproduction

$54.99

Boundary Value Problems in Linear Viscoelasticity

$39.99

Die kritischen Drehzahlen wichtiger Rotorformen

$79.99

Langlebigkeit in der Trkei

$39.99

Risk Assessment and Risk-Driven Quality Assurance

$39.99

Wege zur Koordinierung vlkerrechtlicher Vertrge

$89.99

Biometric-Based Physical and Cybersecurity Systems

$129.00

Digitale Spiele aus deutschdidaktischer Perspektive

$69.99

Outlawry in Medieval Literature

$39.99

Phloem Transport

$54.99

Mineralogie basischer Feuerfest-Produkte

$59.99

The Grass Crop

$39.99

Existentialist Critiques of Cartesianism

$44.99

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

$109.99

Globalization of Science and Technology: A Way for C.I.S. Countries to New Markets

$84.99

Computational Methods in Systems Biology

$84.99

The Deutschtum of Nazi Germany and the United States

$54.99

Lifelong Learning in the Digital Age

$84.99

Coding Theory and Applications

$54.99

Oggie Cooder, Party Animal

$5.24

Reading Joyces Ulysses

$39.99

Volume Conjecture for Knots

$79.99