Computer-Based diagnostics and systematic analysis of knowledge [Electronic resource] / ed. D. Ifenthaler [et al.]. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2010. - ISBN 978-1-441-95662-0 : Б. ц. Рубрики: Education Educational tests and measurements Education Educational technology Computers and education Linguistics (general) Assessment, testing and evaluation См. : Текст издания Доп.точки доступа: Ifenthaler, D. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Poggiolesi, F. Gentzen calculi for modal propositional logic [Electronic resource] / F. Poggiolesi. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Trends in logic ; 32). - ISBN 978-90-481-9670-8 : Б. ц. Рубрики: Philosophy (general) Computer vision Mathematics Philosophy Philosophy Mathematics, general Computer imaging, vision, pattern recognition and graphics Linguistics (general) См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |