> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: LIPIcs, Volume 6, RTA'10, Complete Volume Beteiligte: Lynch, Christopher [Verfasser:in] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Sprache: Englisch DOI: https://doi.org/10.4230/LIPIcs.RTA.2010 Schlagwörter: Mathematical Logic and Formal Languages ; Programming Techniques ; Analysis of Algorithms and Problem Complexity Logics and Meanings of Programs ; Symbolic and Algebraic Manipulation ; Software Engineering ; Computation by Abstract Devices ; Programming Languages ; Artificial Intelligence Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: LIPIcs, Volume 6, RTA'10, Complete Volume Zugangsstatus: Freier Zugang