Computer & TechnologyExtensions of Logic Programming : International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Item 1 of 1
Item 1 of 1
SKU 9783540535904Publishing Ref 9783540535904
Springer
Extensions of Logic Programming : International Workshop
TübingenFRGDecember 8-101989. Proceedings
Printed Book
SR 471
Inclusive of VAT
Sold as: EACH
SR28Per Month/24 months
SKU 9783540535904Publishing Ref 9783540535904
Author:Schroeder-Heister, Peter
Date of Publication: 1991
Book classification:Computer & Technology,English Books
No. of pages:376 Pages
Format:Paperback
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR471
Incl. VAT
Choose your delivery preference
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.