Výsledky vyhledávání
- 1.0447698 - MÚ 2016 RIV DE eng G - Konferenční sborník (zahraniční konf.)
Aher, M. (ed.) - Hole, D. (ed.) - Jeřábek, Emil (ed.) - Kupke, C. (ed.)
Logic, Language, and Computation.
Berlin: Springer, 2015. 332 s. Lecture Notes in Computer Science, 8984. ISBN 978-3-662-46905-7. ISSN 0302-9743. 1..
[TbiLLC 2013. International Tbilisi Symposium on Language, Logic and Computation /10./. Gudauri (GE), 23.09.2013-27.09.2013]
Institucionální podpora: RVO:67985840
Klíčová slova: logic * computation
Kód oboru RIV: BA - Obecná matematika
http://www.springer.com/us/book/9783662469057
Trvalý link: http://hdl.handle.net/11104/0249480