Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20 - 23, 2015 ; proceedings

Logic, language, information, and computation 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20 - 23, 2015 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: WoLLIC (BerichterstatterIn)
Weitere Verfasser: De Paiva, Valeria (BerichterstatterIn), Queiroz, Ruy J. G. B. de (BerichterstatterIn), Moss, Lawrence Stuart (BerichterstatterIn), Leivant, Daniel (BerichterstatterIn), Oliveira, Anjolina G. de (BerichterstatterIn), DePaiva, Valeria (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2015
Schriftenreihe:Lecture notes in computer science 9160
Schlagworte:
Konferenzschrift > Logik > Theoretische Informatik > Programmiersprache
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!