Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings

Bibliographische Detailangaben

Körperschaft:	LFCS (VerfasserIn)
Weitere Verfasser:	Artemov, Sergei N. (HerausgeberIn), Nerode, Anil (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2016
Schriftenreihe:	Lecture notes in computer science 9537
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext http://www.springer.com/
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!