| EAN: | 9783540535904 |
|---|---|
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 376 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Schroeder-Heister, Peter |
| Veröffentlichungsdatum: | 12.02.1991 |
| Untertitel: | International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings |
| Schlagworte: | Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI |
53,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.