From Theorem Proving to Logic Programming
Andreas Krall; Ulrich Geske (Hrsg). 11. Workshop Logische Programmierung WLP 1995: Technische Universität Wien, 27.-29. September 1995, Proceedings. Sankt Augustin: GMD-Forschungszentrum Informationstechnik 1995 S. 59 - 62
Erscheinungsjahr: 1995
ISBN/ISSN: 3-8845-7270-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
