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

Mathematical Reasoning: The History and Impact of the DReaM Group

Mathematical Reasoning: The History and Impact of the DReaM Group

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030778781
Condition
New
Product Description

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.

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

Single Product Purchase

$139.00
@ 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
$139.00 $139.00

$139.00
See Site In stock Visit Store

Similar Products

Acetabular Fractures in Older Patients

$139.99

Molecular Biology of Photosynthesis

$329.99

The Realism-Antirealism Debate in the Age of Alternative Logics

$169.99

Peritrophic Membranes

$109.99

Berechnung der Ausmauerung sthlerner Gefe

$59.99

Event-Driven Architecture

$49.99

Mammary Tumorigenesis and Malignant Progression

$379.99

Olympic Games and Global Cities

$44.99

Scientific Procedures

$169.99

Advanced Network Technologies and Intelligent Computing

$84.99

Die Braunsche Rhre

$59.99

Multi-Agent Systems

$39.99

The Contextual Character of Moral Integrity

$39.99

Kausalanalyse makrokonomischer Zusammenhnge mit latenten Variablen

$59.99

Einfhrung in die Analysis II

$29.99

Composition of Embedded Systems. Scientific and Industrial Issues

$39.99

Alterspsychotherapie Quo vadis?

$59.99

Asset Pricing

$84.99

New Urban Agenda in Zimbabwe

$159.99

Iron Uptake in Bacteria with Emphasis on E. coli and Pseudomonas

$54.99

Recycling and Resource Recovery Engineering

$84.99

Processes and Boundaries of the Mind

$39.99

Cyber Security

$109.99

European and Chinese Cognitive Styles and their Impact on Teaching Mathematics

$84.99

Informatik fr Ingenieure und Naturwissenschaftler 2

$44.99

Molekularmedizinische Grundlagen von hereditren Tumorerkrankungen

$64.99

Qualittspolitiken und Konventionen

$74.99

Logica Universalis

$54.99

Receptor Signal Transduction Protocols

$84.99

Mechatronics and Machine Vision in Practice 3

$109.99

Similar Practice, Different Rationales

$99.99

The Organisation of Integrated Product Development

$109.99

Pharmacotherapeutics of the Thyroid Gland

$84.99

Advances in Cryptology - CRYPTO '87

$74.99

Advanced Nondestructive Detection Technologies in Food

$169.99

The Educational Turn

$59.99

Das Bleichen der Pflanzenfasern

$59.99

Exotic States in Quantum Nanostructures

$169.99

Questions and Answers

$84.99

Exploring Innovative Pedagogy in the Teaching and Learning of Chinese as a Foreign Language

$54.99