Foundations of equational logic programming

Foundations of equational logic programming

Zugl.: München, Univ. der Bundeswehr, Diss., 1989

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hölldobler, Steffen (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1989
Schriftenreihe:Lecture notes in computer science 353 : Lecture notes in artificial intelligence
Schlagworte:
Logic programming > Logic, symbolic and mathematical > Logische Programmierung > Gleichungstheorie
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: München, Univ. der Bundeswehr, Diss., 1989
Beschreibung:Literaturverz. S. [231] - 241
Beschreibung:X, 250 S
graph. Darst
ISBN:354051533X
3-540-51533-X
038751533X
0-387-51533-X