The Symposium on Logical Foundations of Computer Science 2009 [(LFCS 09) ... Deerfield Beach, Florida, from January 3 - 6]

Bibliographische Detailangaben

Weitere Verfasser:	Artemov, Sergei (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2012
Schriftenreihe:	Annals of pure and applied logic 163.2012,7
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!