Extensions of Logic Programming

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

International Workshop, Tübingen, FRG, December 8-10,1989.Proceedings, Lecture Notes in Computer Science 475 – Lecture Notes in Artificial Intelligence

ISBN: 354053590X
ISBN 13: 9783540535904
Herausgeber: Peter Schroeder-Heister
Verlag: Springer Verlag GmbH
Umfang: x, 366 S.
Erscheinungsdatum: 12.02.1991
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1433674 Kategorie:

Beschreibung

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …