作者:Vitaliy Yakovyna,Heinrich C. Mayr,Mykola Nikitchenko,Grygoriy Zholtkevych,Aleksander Spivakovsky,Sotiris Batsakis
主题词:Computers and Education,Logics and Meanings of Programs,Software Engineering,Artificial Intelligence (incl. Robotics),Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages