Logic and language models for computer science - Richards, Dana, 1955-; Hamburguer, Henry, 1940- (New Jersey World Scientific, 2018)
Keywords: Programación de ordenadores; Ordenadores -- Arquitectura; Inteligencia artificial; Lenguajes de ordenador; Diseño lógico -- Informática