Springer
Extensions of Logic Programming: International Workshop, T?bingen, Frg, December 8-10, 1989. Proceedings
Product Code:
9783540535904
ISBN13:
9783540535904
Condition:
New
$61.47
Extensions of Logic Programming: International Workshop, T?bingen, Frg, December 8-10, 1989. Proceedings
$61.47
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 |
| Publisher: Springer |
| Publication Date: Feb 12, 1991 |
| Number of Pages: 366 pages |
| Binding: Paperback or Softback |
| ISBN-10: 354053590X |
| ISBN-13: 9783540535904 |