10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings: 449 (Lecture Notes in Computer Science, 449) - Image 1

£109.99

Springer 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings: 449 (Lecture Notes in Computer Science, 449)

Name: 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings: 449 (Lecture Notes in Computer Science, 449)
Brand: Springer
Price: 109.99 GBP
Availability: InStock

AI & Machine Learning

It has never been this cheap. We have no record of a lower price.

£110 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 83 days · 83 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 83 days • 1 price levels

Days at Price

Price Analysis

Most common price: £110 (83 days, 100.0%)

Price range: £110 - £110

Price levels: 1 different prices over 83 days

Description

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540528857
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 17 July 1990
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings: 449 (Lecture Notes in Computer Science, 449)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings: 10395 (Lecture Notes in Computer Science, 10395)

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science, 3097)

Automated Model Building: 31 (Applied Logic Series, 31)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Labelled Deduction: 17 (Applied Logic Series, 17)

Labelled Deduction: 17 (Applied Logic Series, 17)

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic: 4350 (Lecture Notes in Computer Science, 4350)

Functional Interpretation Of Logical Deduction, The

Logical Foundations of Artificial Intelligence

Routledge Logical Abilities in Children Vol 3 - Deductive Inference

The Scientific World-Perspective and Other Essays, 1931–1963: 108 (Synthese Library, 108)

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Human Reasoning: The Psychology Of Deduction

Mind Your Logic

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy: 6 (Lecture Notes in Logic, Series Number 6)

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)