EPOS, extended Prolog with order-sorted resolution:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Huber, Martin 1967- (VerfasserIn)
Format: Buch
Sprache:Deutsch
Veröffentlicht: Karlsruhe 1987
Schriftenreihe:Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1987,4
Schlagwörter:
Umfang:36 S.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6058-1987,4 Lageplan
Exemplar 1 Ausleihbar Am Standort