Horn clause specifications : a uniform framework for abstract data types and logic programming
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
146 S. in getr. Zählung
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 1 - 8
- Ereignis
-
Veröffentlichung
- (wo)
-
Passau
- (wer)
-
Dekanat d. Fak. für Mathematik u. Informatik, Univ.
- (wann)
-
1985
- Urheber
-
Padawitz, Peter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Padawitz, Peter
- Dekanat d. Fak. für Mathematik u. Informatik, Univ.
Entstanden
- 1985
Ähnliche Objekte (12)
Horn clause specifications with polymorphic types
Logic programming over polymorphically order-sorted types
On the use of types in logic programming
On types and type consistency in logic programming
On the Use of Types in Logic Programming
Logic programming : proceedings
Types of autonomous V-final clauses
Logic programming and databases
Reasoning with logic programming
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Horn clause specifications with polymorphic types
Logic programming over polymorphically order-sorted types
On the use of types in logic programming
On types and type consistency in logic programming
On the Use of Types in Logic Programming
Logic programming : proceedings
Types of autonomous V-final clauses
Logic programming and databases
Reasoning with logic programming
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Horn clause specifications with polymorphic types
Logic programming over polymorphically order-sorted types
On the use of types in logic programming
On types and type consistency in logic programming
On the Use of Types in Logic Programming
Logic programming : proceedings
Types of autonomous V-final clauses
Logic programming and databases
Reasoning with logic programming
Foundations of logic programming
Foundations of logic programming