
Advances in Computing Science - Asian 2003, Programming Languages and Distributed Computation
Vijay A. Saraswat
₹5,532

International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.