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

Extensions of Logic Programming

Extensions of Logic Programming

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

This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tbingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Major Companies of Europe 1992/93

$74.99

Estimation of Distribution Algorithms

$219.99

John Ford and the Caroline Theatre

$44.99

Geometry: Euclid and Beyond

$64.95

Particle Characterization: Light Scattering Methods

$189.00

Grundrume und verallgemeinerte Funktionen

$19.95

My People

$6.71

Soziale Herkunft und Bildungssprache

$44.99

Community, Civic Engagement and Democratic Governance in Africa

$54.99

Scholastic Literacy Events Spotlight on Reading - Grade 4

$399.00

Formal Models of Agents

$39.99

Unternehmensstrategie treffend verpackt

$24.99

Chemical and Process Industries

$39.99

Etomidate

$54.99

Image Analysis and Recognition

$39.99

Kundenorientierte Unternehmensfhrung

$69.99

Nahrung und Ernhrung

$59.99

Resource Competition

$169.99

Die Limited (Ltd.)

$64.99

General Reference Architecture Frameworks

$159.99

Military Geosciences and Desert Warfare

$219.99

Protest und Reaktion

$44.99

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

$59.99

Modernisierung und Folgelasten

$29.99

Reversible and Quantum Circuits

$54.99

Mediensoziologie

$29.99

The Physics of the Manhattan Project

$69.99

Practicing Mortality

$54.99

The Dense Interstellar in Galaxies

$219.99

Multiparadigm Programming in Mozart/Oz

$54.99

Rookie Toddler-First Concepts: Do You See Shapes?

$5.21

Finanzialisierung, Demokratie und Gesellschaft

$44.99

Digital Humanities and Film Studies

$129.99

First Principles Approaches to Spectroscopic Properties of Complex Materials

$379.99

Next Generation Infrared Space Observatory

$169.99

Nichtthermische kosmische Strahlungsquellen

$59.99

The European Community

$19.99

Broadband Wireless Communications

$129.00

Exploring Minecraft

$109.99

Lehrerhabitus an exklusiven Schulen in China und Deutschland

$49.99