Browse books

Popular categories

Comics & Graphic Novels Cooking

Shop by format

eBook

Country / currency

Default: USD

USD

Sign in Create an account

Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings

Name: Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings
Brand: Springer
SKU: 9783540535904
Price: 60.32 USD
Availability: InStock
Author: Peter Schroeder-Heister
ISBN: 9783540535904

Peter Schroeder-Heister

$60.32

(No reviews yet) Write a Review

Physical book delivery

Shipping calculated at checkout.

Estimated delivery

5–10 business days

in stock

Adding to cart… The item has been added

Product Details

Author:: Peter Schroeder-Heister
Publisher:: Springer
Publication Date:: Feb 12, 1991
Number of pages:: 366 pages
Binding:: Paperback or Softback
ISBN-10:: 354053590X
ISBN-13:: 9783540535904

Overview

This volume contains papers presented at an international workshop. It gives an overview of various approaches to extending logic programming, concentrating on proof-theoretic extensions developed recently, which put a new emphasis on hypothetical reasoning.