- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
3540181997
0387181997
9783642831911
- Dimensions
-
25 cm
- Extent
-
XII, 212 S.
- Edition
-
2., extended ed.
- Language
-
Englisch
- Notes
-
10 graph. Darst.
Literaturverz. S. 195 - 204
- Keyword
-
Logische Programmierung
Mathematische Logik
Programmierung (Datenverarbeitung)
Mathematische Logik
Programmierung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (who)
-
Springer
- (when)
-
1987
- Creator
- 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, 1:34 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.
Associated
- Lloyd, John W.
- Springer
Time of origin
- 1987
Other Objects (12)
Foundations of logic programming
Foundations of equational logic programming
Foundations of inductive logic programming
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications
Computational logic: logic programming and beyond, Pt. 2
Computational logic: logic programming and beyond, Pt. 1
Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
Logic programming : proceedings
Concurrent programming: algorithms, principles, and foundations
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Reasoning with logic programming
Programming language implementation and logic programming : proceedings
Foundations of logic programming
Foundations of equational logic programming
Foundations of inductive logic programming
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications
Computational logic: logic programming and beyond, Pt. 2
Computational logic: logic programming and beyond, Pt. 1
Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
Logic programming : proceedings
Concurrent programming: algorithms, principles, and foundations
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Reasoning with logic programming
Programming language implementation and logic programming : proceedings
Foundations of logic programming
Foundations of equational logic programming
Foundations of inductive logic programming
LISP, Lore, and Logic : an algebraic view of LISP programming, foundations, and applications
Computational logic: logic programming and beyond, Pt. 2
Computational logic: logic programming and beyond, Pt. 1
Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
Logic programming : proceedings
Concurrent programming: algorithms, principles, and foundations
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Reasoning with logic programming