- Ausgabe
-
2., extended ed.
- Sprache
-
Englisch
- Umfang
-
XII, 212 S.
- Maße
-
25 cm
- Anmerkungen
-
10 graph. Darst.
Literaturverz. S. 195 - 204
- ISBN
-
3540181997
0387181997
9783642831911
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Logische Programmierung
Mathematische Logik
Programmierung (Datenverarbeitung)
Mathematische Logik
Programmierung
- Urheber
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1987
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:42 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.
Beteiligte
- Lloyd, John W.
- Springer
Entstanden
- 1987
Ähnliche Objekte (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. 1
Computational logic: logic programming and beyond, Pt. 2
Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
Logic programming : proceedings
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
Concurrent programming: algorithms, principles, and foundations
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. 1
Computational logic: logic programming and beyond, Pt. 2
Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
Logic programming : proceedings
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
Concurrent programming: algorithms, principles, and foundations
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. 1
Computational logic: logic programming and beyond, Pt. 2
Foundations of logic and functional programming : workshop, Trento, Italy, December 15 - 19, 1986 ; proceedings
Logic programming : proceedings
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