Number of the records: 1
Logical Foundations of Computer Science
Title Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego CA, USA, January 6-8, 2013, Proceedidings Another authors Artemov Sergei (Editor) Nerode Anil (Editor) Issue data Berlin-Heidelberg : Springer , 2013 Language eng - English Document kind zborníky Category FAI - Editorial work on book publications (bibliographies, encyclopedias, catalogues, dictionaries, collective publications/proceedings, atlases ...) 
book
Number of the records: 1