First order lax logic as a framework for constraint logic programming:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Fairtlough, Matthew V. (VerfasserIn), Mendler, Michael V. (VerfasserIn), Walton, Matt (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Passau 1997
Schriftenreihe:Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1997,14
Schlagworte:
Beschreibung:51, 5 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!