TY - BOOK T1 - Logic and language models for computer science A1 - Richards, Dana, 1955- A2 - Hamburguer, Henry, 1940- LA - English PP - New Jersey PB - World Scientific YR - 2018 ED - Third edition UL - https://colectivo.uloyola.es/Record/L210972 OP - 451 SN - 9789813230507 SN - 9789813229204 KW - Programación de ordenadores KW - Ordenadores : Arquitectura KW - Inteligencia artificial KW - Lenguajes de ordenador KW - Diseño lógico : Informática ER -