Jarir Logo

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
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

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.
Show more

Specifications

SKU9783540535904
Manufacturer Number9783540535904
year published1991
Show more

Report an issue with this product.

Customer Reviews