(untitled) - Lanzi, Pier Luca.
Keywords: Computer science.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Computation by Abstract Devices