- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898382359
3898382354
- Dimensions
-
21 cm
- Extent
-
VI, 176 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Hagen, Fernuniv., Diss., 1999
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 235
- Keyword
-
Logische Programmierung
Typisierung
Logische Programmierung
Typinferenzsystem
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Akad. Verl.-Ges. Aka
- (when)
-
2000
- Creator
-
Meyer, Gregor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:25 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Meyer, Gregor
- Akad. Verl.-Ges. Aka
Time of origin
- 2000
Other Objects (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
Logic programming and databases
Reasoning with logic programming
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Records for logic programming
Laziness in logic programming
Set based 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
Logic programming and databases
Reasoning with logic programming
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Records for logic programming
Laziness in logic programming
Set based 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
Logic programming and databases
Reasoning with logic programming
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Records for logic programming
Laziness in logic programming