Konferenzschrift
Proceedings of the Second International Workshop on the Implementation of Logics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
[10], 102 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Max-Planck-Inst. für Informatik, Bibliothek und Dokumentation
- (wann)
-
2001
- Beteiligte Personen und Organisationen
-
Nivelle, Hans de
Max-Planck-Institut für Informatik
International Workshop on the Implementation of Logics (2 : 2001 : Havanna)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:28 MESZ
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
- Konferenzschrift
Beteiligte
- Nivelle, Hans de
- Max-Planck-Institut für Informatik
- International Workshop on the Implementation of Logics (2 : 2001 : Havanna)
- Max-Planck-Inst. für Informatik, Bibliothek und Dokumentation
Entstanden
- 2001
Ähnliche Objekte (12)
Logics in artificial intelligence : European workshop ; proceedings
Logics in artificial intelligence : European workshop ; proceedings
Logics in artificial intelligence : European workshop ; proceedings
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Ferocious Logics: Unmaking the Algorithm
Ferocious logics : unmaking the algorithm
Ferocious Logics: Unmaking the Algorithm
Ferocious Logics: Unmaking the Algorithm
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Proceedings of the Workshop "Logics and Recognizable Sets" : Dersau, Germany, October 8 - 10, 1990
International Workshop on Description Logics : Bonn, May 28/29, 1994
The structure of fixed-point logics
Logics in artificial intelligence : European workshop ; proceedings
Logics in artificial intelligence : European workshop ; proceedings
Logics in artificial intelligence : European workshop ; proceedings
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Ferocious Logics: Unmaking the Algorithm
Ferocious logics : unmaking the algorithm
Ferocious Logics: Unmaking the Algorithm
Ferocious Logics: Unmaking the Algorithm
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Proceedings of the Workshop "Logics and Recognizable Sets" : Dersau, Germany, October 8 - 10, 1990
International Workshop on Description Logics : Bonn, May 28/29, 1994
The structure of fixed-point logics
Logics in artificial intelligence : European workshop ; proceedings
Logics in artificial intelligence : European workshop ; proceedings
Logics in artificial intelligence : European workshop ; proceedings
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Ferocious Logics: Unmaking the Algorithm
Ferocious logics : unmaking the algorithm
Ferocious Logics: Unmaking the Algorithm
Ferocious Logics: Unmaking the Algorithm
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Proceedings of the Workshop "Logics and Recognizable Sets" : Dersau, Germany, October 8 - 10, 1990
International Workshop on Description Logics : Bonn, May 28/29, 1994