

An edition of Computer science logic (2010)
24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
By CSL 2010 (2010 Brno, Czech Republic)
Publish Date
2010
Publisher
Springer
Language
eng
Pages
546