Vytisknout
0353757 DE BXXS
Dawar, A. (ed.) - Veith, H. (ed.)
Computer Science Logic 2010.
Heidelberg: Springer, 2010. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7
Dawar, A. (ed.) - Veith, H. (ed.)
Computer Science Logic 2010.
Heidelberg: Springer, 2010. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7