Computer Science Logic 2012: 26th International Workshop, 21th Annual Conference of the EACSL, CSL '… - SLUB Dresden

Medientyp: E-Book; Konferenzbericht
Titel: Computer Science Logic 2012 : 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12, September 3 - 6, 2012, Fontainebleau, France
Beteiligte: Cégielski, Patrick [Sonstige Person, Familie und Körperschaft]; Durand, Arnaud [Sonstige Person, Familie und Körperschaft]
Körperschaft: European Association for Computer Science Logic ; Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Erschienen: Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012
Erschienen in: Leibniz international proceedings in informatics ; 16
Umfang: Online-Ressource (PDF-Datei: XIV, 542 S., 18,22 MB); graph. Darst
Sprache: Englisch
DOI: 10.4230/LIPIcs.CSL.2012.i
ISBN: 9783939897422
Identifikator:

Schlagwörter: Programmierlogik
Theoretische Informatik > Logik > Computational logic > Logische Programmierung > Fontainebleau
Entstehung:
Anmerkungen: Literaturangaben
Zugangsstatus: Freier Zugang

Nur in Feld suchen: