ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ermolayev, Vadim (Editor), Mayr, Heinrich C. (Editor), Nikitchenko, Mykola (Editor), Spivakovsky, Aleksander (Editor), Zholtkevych, Grygoriy (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Communications in Computer and Information Science, 347
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.

This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited...