- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959770453
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 82
- Ereignis
-
Veröffentlichung
- (wo)
-
Wadern
- (wer)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (wann)
-
2017
- Beteiligte Personen und Organisationen
-
Goranko, Valentin
Dam, Mads
- URN
-
urn:nbn:de:0030-drops-78103
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:58 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
- Goranko, Valentin
- Dam, Mads
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Entstanden
- 2017
Ähnliche Objekte (12)
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Proceedings / 26th Workshop on Logic Programming
Technical Communications of the 26th International Conference on Logic Programming (ICLP'10)
Annual Dinner (26th June, 1872).
26th Southern Biomedical Engineering Conference
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Proceedings / 26th Workshop on Logic Programming
Technical Communications of the 26th International Conference on Logic Programming (ICLP'10)
Annual Dinner (26th June, 1872).
26th Southern Biomedical Engineering Conference
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Proceedings / 26th Workshop on Logic Programming
Technical Communications of the 26th International Conference on Logic Programming (ICLP'10)
Annual Dinner (26th June, 1872).
26th Southern Biomedical Engineering Conference
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)