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!