Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783939897323
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 12
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2011
- Contributor
-
Bezem, Marc
EACSL (European Association for Computer Science Logic)
- URN
-
urn:nbn:de:0030-drops-27815
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
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.
Associated
- Bezem, Marc
- EACSL (European Association for Computer Science Logic)
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2011
Other Objects (12)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Computer science logic : 20th international workshop ; proceedings
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Logic programming : 25th international conference ; proceedings
Logic programming : 20th international conference ; proceedings
25th Annual European Symposium on Algorithms (ESA 2017)
Algorithms : 20th annual European symposium ; proceedings
Proceedings of the 25th Annual UCLA Indo-European Conference : Los Angeles, October 25th and 26th, 2013
Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings
Inductive logic programming : 20th international conference ; revised papers
Energy Management Workshop : Chambéry, France, April 25th, 2012
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Computer science logic : 20th international workshop ; proceedings
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Logic programming : 25th international conference ; proceedings
Logic programming : 20th international conference ; proceedings
25th Annual European Symposium on Algorithms (ESA 2017)
Algorithms : 20th annual European symposium ; proceedings
Proceedings of the 25th Annual UCLA Indo-European Conference : Los Angeles, October 25th and 26th, 2013
Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings
Inductive logic programming : 20th international conference ; revised papers
Energy Management Workshop : Chambéry, France, April 25th, 2012
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Computer science logic : 20th international workshop ; proceedings
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Logic programming : 25th international conference ; proceedings
Logic programming : 20th international conference ; proceedings
25th Annual European Symposium on Algorithms (ESA 2017)
Algorithms : 20th annual European symposium ; proceedings
Proceedings of the 25th Annual UCLA Indo-European Conference : Los Angeles, October 25th and 26th, 2013
Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings
Inductive logic programming : 20th international conference ; revised papers