(untitled) - Erdem, Esra.
Keywords: Computer science.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters