(untitled) - Baldoni, Matteo
Keywords: Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs