Computable Models - Turner, Raymond; SpringerLink (Online service) (London : Springer London, 2009)
Keywords: Computer science; Information theory; Logic design; Artificial intelligence; Translators (Computer programs).; Computer Science; Language Translation and Linguistics; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Computation by Abstract Devices; Theory of Computation