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

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

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

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

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

Innovative Quick Response Programs in Logistics and Supply Chain Management

$189.00

Frontiers of Medicine

$39.99

Fluvial Hydrodynamics - Solutions Manual

$74.99

Smart Nitrate Sensor

$129.99

Diagnostic Ultrasound and Animal Reproduction

$169.99

Scholastic Reader! Level 1-I Spy: I Spy a Pumpkin

$2.99

Dinosaurs: 400 Words for Budding Paleontologists by Ellen-Therese Lamm

$16.99

Transactions on Computational Systems Biology X

$54.99

Gene Expression and Its Discontents

$89.00

Uncertainty in Strategic Decision Making

$159.99

Professionelles Partnermanagement im Lsungsvertrieb

$69.99

High Level Synthesis of ASICs under Timing and Synchronization Constraints

$169.99

The Aging Kidney in Health and Disease

$219.99

Minimally Invasive Surgery for Chronic Pain Management

$54.99

Plant and Insect Mycoplasma Techniques

$39.99

Rapid Prototyping of Digital Systems

$39.99

Entropy-Driven Processes in Biology

$109.99

Produktdesign

$17.99

Wasserversorgung

$44.99

Vulvar Pathology

$219.99

Multi-Layered Diplomacy in a Global State

$54.99

You Are My Magical Unicorn

$5.24

Korea and Its Futures

$54.99

Hydroxy-Pyridones as Antifungal Agents with Special Emphasis on Onychomycosis

$109.99

Cancer Nanotheranostics

$199.99

Alice Austen Lived Here (Hardcover)

$13.49

1968 Annual Supplement

$109.99

Neuro-Psychopharmaka. Ein Therapie-Handbuch

$159.99

Progress in Engineering Technology

$109.99

Selected Aspects of Cancer Progression: Metastasis, Apoptosis and Immune Response

$169.99

The Secret Sauce

$44.99

Die Magnetosphre der Erde und ihre Dynamik

$39.99

Reframing the Vernacular: Politics, Semiotics, and Representation

$54.99

A Mathematical Prelude to the Philosophy of Mathematics

$79.99

Faktoren des Markterfolges im Online-Handel

$74.99

Fieldbus Technology

$109.99

Mycoplasma Protocols

$129.00

Medikamenten-Pocket Intensivmedizin

$24.99

Fundamentals of Biofuels Engineering and Technology

$139.99

Old and New Perspectives on Mortality Forecasting

$59.99