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

Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings (Paperback) (ISBN-13: 9783540535904)

Vendor: Peter Schroeder-Heister
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings by Schroeder-Heister, Peter

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

$54.99
Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings by Schroeder-Heister, Peter

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

$54.99
Format: Paperback
Description
Description
x
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.

Author: Peter Schroeder-Heister
ISBN-10: 354053590X
ISBN-13: 9783540535904
Publisher: Springer
Language: English
Published: 02/12/1991
Pages: 366
Format: Paperback
Weight: 1.16lbs
Size: 9.21h x 6.14w x 0.78d

Recently Viewed Products