Zdroj:	Logic, Language, Information & Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings; 2016, pI-XXII, 22p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu