Konferenzschrift
Proceedings of the Second International Workshop on the Implementation of Logics
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
[10], 102 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Max-Planck-Inst. für Informatik, Bibliothek und Dokumentation
- (when)
-
2001
- Contributor
-
Nivelle, Hans de
Max-Planck-Institut für Informatik
International Workshop on the Implementation of Logics (2 : 2001 : Havanna)
- 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, 2:28 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.
Object type
- Konferenzschrift
Associated
- 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
Time of origin
- 2001
Other Objects (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
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Ferocious Logics: Unmaking the Algorithm
Ferocious logics : unmaking the algorithm
Ferocious Logics: Unmaking the Algorithm
Ferocious Logics: Unmaking the Algorithm
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
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Ferocious Logics: Unmaking the Algorithm
Ferocious logics : unmaking the algorithm
Ferocious Logics: Unmaking the Algorithm
Ferocious Logics: Unmaking the Algorithm
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
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Ferocious Logics: Unmaking the Algorithm
Ferocious logics : unmaking the algorithm
Ferocious Logics: Unmaking the Algorithm
Ferocious Logics: Unmaking the Algorithm
Proceedings of the Workshop "Logics and Recognizable Sets" : Dersau, Germany, October 8 - 10, 1990
International Workshop on Description Logics : Bonn, May 28/29, 1994