29th EACSL Annual Conference on Computer Science Logic CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

29th EACSL Annual Conference on Computer Science Logic CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: EACSL Annual Conference on Computer Science Logic Online (VerfasserIn)
Weitere Verfasser: Baier, Christel (HerausgeberIn), Goubault-Larrecq, Jean (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Saarbrücken/Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing January, 2021
Schriftenreihe:LIPIcs - Leibniz International Proceedings in Informatics Vol. 183
Schlagworte:
Mathematische Logik
Logik
Theoretische Informatik
Computational logic
Logische Programmierung
Programmierlogik
Konferenzschrift
Online-Zugang:https://nbn-resolving.org/urn:nbn:de:0030-drops-134339
https://d-nb.info/1225300258/34
kostenfrei
kostenfrei
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

https://nbn-resolving.org/urn:nbn:de:0030-drops-134339
https://d-nb.info/1225300258/34
kostenfrei
kostenfrei

Ähnliche Einträge