- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898382359
3898382354
- Maße
-
21 cm
- Umfang
-
VI, 176 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Hagen, Fernuniv., Diss., 1999
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Bd. 235
- Schlagwort
-
Logische Programmierung
Typisierung
Logische Programmierung
Typinferenzsystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Akad. Verl.-Ges. Aka
- (wann)
-
2000
- Urheber
-
Meyer, Gregor
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:17 MEZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Meyer, Gregor
- Akad. Verl.-Ges. Aka
Entstanden
- 2000
Ähnliche Objekte (12)
Logic programming over polymorphically order-sorted types
On the use of types in logic programming
On the Use of Types in Logic Programming
Logic programming : proceedings
Horn clause specifications : a uniform framework for abstract data types and logic programming
Fuzzy Logic supported Consistency Management in DDVEs
Logic programming and databases
Inductive temporal logic programming
Laziness in logic programming
Foundations of logic programming
Logic Programming with Prolog
Reasoning with logic programming
Logic programming over polymorphically order-sorted types
On the use of types in logic programming
On the Use of Types in Logic Programming
Logic programming : proceedings
Horn clause specifications : a uniform framework for abstract data types and logic programming
Fuzzy Logic supported Consistency Management in DDVEs
Logic programming and databases
Inductive temporal logic programming
Laziness in logic programming
Foundations of logic programming
Logic Programming with Prolog
Reasoning with logic programming
Logic programming over polymorphically order-sorted types
On the use of types in logic programming
On the Use of Types in Logic Programming
Logic programming : proceedings
Horn clause specifications : a uniform framework for abstract data types and logic programming
Fuzzy Logic supported Consistency Management in DDVEs
Logic programming and databases
Inductive temporal logic programming
Laziness in logic programming
Foundations of logic programming
Logic Programming with Prolog