- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
45 S.
- Sprache
-
Englisch
- Erschienen in
-
Interner Bericht / Universität Karlsruhe (TH) ; 85,5
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
Univ., Fak. für Informatik
- (wann)
-
1985
- Urheber
- 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:13 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
- Stephan, Werner
- Univ., Fak. für Informatik
Entstanden
- 1985
Ähnliche Objekte (12)
Termination proofs for logic programs
Termination proofs for logic programs
From Logic to Functional Logic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Processing directed recursive labelnode hypergraphs with FIT programs
A calculational approach to recursive programs with effects
Termporal logic of programs
Goal-directed forward chaining for logic programs
A paraconsistent semantics for generalized logic programs
Preferred answer sets for extended logic programs
A descriptive Mode Inference for Logic Programs
Termination proofs for logic programs
Termination proofs for logic programs
From Logic to Functional Logic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Processing directed recursive labelnode hypergraphs with FIT programs
A calculational approach to recursive programs with effects
Termporal logic of programs
Goal-directed forward chaining for logic programs
A paraconsistent semantics for generalized logic programs
Preferred answer sets for extended logic programs
A descriptive Mode Inference for Logic Programs
Termination proofs for logic programs
Termination proofs for logic programs
From Logic to Functional Logic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Processing directed recursive labelnode hypergraphs with FIT programs
A calculational approach to recursive programs with effects
Termporal logic of programs
Goal-directed forward chaining for logic programs
A paraconsistent semantics for generalized logic programs
Preferred answer sets for extended logic programs