- Sprache
-
Englisch
- Identifier
-
991948084
- Reihe
-
Dagstuhl seminar proceedings 05171
- Beteiligte Personen und Organisationen
-
Blair, Howard
Remmel, Jeffrey B.
Marek, Victor W.
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 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
- Monografie
Beteiligte
- Blair, Howard
- Remmel, Jeffrey B.
- Marek, Victor W.
Ähnliche Objekte (12)
Inductive temporal logic programming
Set based failure diagnosis for concurrent constraint programming
Logic-based 0-1 constraint solving in constraint logic programming
A feature-based constraint system for logic programming with entailment
A three-valued logic for Inductive Logic Programming
Logic programming : proceedings
ULTRA - a logic transaction programming language
On transactions in logic programming languages
Implementation issues in Inductive Logic Programming
Probalistic logic programming under maximum entropy
An Intuitionistic Approach to Logic Programming
Preferences in answer set programming
Inductive temporal logic programming
Set based failure diagnosis for concurrent constraint programming
Logic-based 0-1 constraint solving in constraint logic programming
A feature-based constraint system for logic programming with entailment
A three-valued logic for Inductive Logic Programming
Logic programming : proceedings
ULTRA - a logic transaction programming language
On transactions in logic programming languages
Implementation issues in Inductive Logic Programming
Probalistic logic programming under maximum entropy
An Intuitionistic Approach to Logic Programming
Preferences in answer set programming
Inductive temporal logic programming
Set based failure diagnosis for concurrent constraint programming
Logic-based 0-1 constraint solving in constraint logic programming
A feature-based constraint system for logic programming with entailment
A three-valued logic for Inductive Logic Programming
Logic programming : proceedings
ULTRA - a logic transaction programming language
On transactions in logic programming languages
Implementation issues in Inductive Logic Programming
Probalistic logic programming under maximum entropy
An Intuitionistic Approach to Logic Programming