Počet záznamů: 1
Computer Science Logic 2010
- 1.
SYSNO 0353757 Název Computer Science Logic 2010 Tvůrce(i) Dawar, A. (ed.)
Veith, H. (ed.)Vyd. údaje Heidelberg: Springer, 2010 Edice Lecture Notes in Computer Science , 6247 ISBN 978-3-642-15204-7 Druh dok. BXXS Země vyd. DE Katal.org. CAV Odkazy (1) - Konferenční příspěvek (zahraniční konference)
Počet záznamů: 1