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

products.product.pickup_availability.unavailable
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
by Peter Schroeder-Heister (Editor)
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.



















