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 Programming and Automated Reasoning

Logic Programming and Automated Reasoning

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

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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

Soziologie und Soziale Frage

$59.99

HIV-Negative

$54.99

Allgemeine und vergleichende Embryologie der Tiere

$54.99

Prison Dog Programs

$139.99

Messung kologischer Effizienz mittels Data Envelopment Analysis

$69.99

Der Lernunternehmer

$69.99

The Beauty of Space Art

$49.99

Politische Geschichte der Gegenwart

$59.99

Vom monostrukturierten Stahlstandort zum modernen Industriegebiet: Dokumentation zum Modellprojekt

$59.99

Candidate-Centered Campaigns

$54.99

Control Theory of Multi-fingered Hands

$109.99

Analyse ausgewhlter Problemstellungen der Organisations- und Personalwirtschaft mit Hilfe der koope

$64.99

Nanjing: Historical Landscape and Its Planning from Geographical Perspective

$54.99

Mobile Health

$249.99

Take Care

$19.99

Algorithms and Architectures for Parallel Processing

$109.99

The Black Church Studies Reader

$159.99

AI*IA 2019 Advances in Artificial Intelligence

$39.99

Punctuated Peace in Nigerias Oil Region

$84.99

Neurochirurgische Krankheitsbilder und ihre Pflege

$84.99

Three Dimensional Solar Cells Based on Optical Confinement Geometries

$109.99

Nitrogen Fixation in Agriculture, Forestry, Ecology, and the Environment

$219.99

The Power of Crisis Communication

$89.99

Intelligent Systems and Human Machine Collaboration

$199.99

Beobachtung kindlicher Selbstbildungsprozesse

$29.99

Nonlinear Optics and Solid-State Lasers

$169.99

Non-State Actors in the Protection of Cultural Heritage

$129.99

Breast Imaging Review

$69.99

ADP-Ribosylation of Proteins

$39.99

Issues of Gender and Sexual Orientation in Humanitarian Emergencies

$54.99

Economic Analyses of the European Patent System

$39.99

Multicomponent Interfacial Transport

$84.99

Die Freude am Unternehmertum in kleinen und mittleren Unternehmen

$69.99

Effects of Accumulation of Air Pollutants in Forest Ecosystems

$129.00

UHPCC Under Impact and Blast

$179.99

Sustainable Food Security in West Africa

$129.00

Sozialer Raum und Soziale Arbeit

$44.99

Technische Gesteinskunde

$74.99

Improvement of Forest Resources for Recyclable Forest Products

$109.99

Cuentos Fonticos (Spanish Phonics Readers): La zorra y las cerezas

$3.71