Logic and language models for computer science / Dana Richards, Henry Hamburger

Autor principal: Richards, Dana, (1955-)
Otros autores: Hamburguer, Henry, (1940-)
Formato: Libro
Edición: Third edition
Publicación: New Jersey : World Scientific, 2018
Descripción física: XV, 451 páginas ; 23 cm
Clasificación CDU: 681.3
* 681.3
004.42
Edición: Third edition
Tipo de contenido: Texto (visual)
Tipo de medio: sin mediación
Tipo de soporte: volumen
Materias:
ISBN: 9789813230507
9789813229204
LEADER 01037nam a2200349 4500
001 000000210972
003 CaOOAMICUS
005 20190430140919.0
008 190409s2018 xxu 000 u eng
020 |a 9789813230507 
020 |a 9789813229204 
040 |a ULA  |b spa 
080 |a 681.3 
080 |a * 681.3 
080 |a 004.42 
100 1 |a Richards, Dana,  |d 1955- 
245 1 0 |a Logic and language models for computer science /  |c Dana Richards, Henry Hamburger 
250 |a Third edition 
260 |a New Jersey  |b World Scientific  |c 2018 
300 |a XV, 451 páginas ;  |c 23 cm 
336 |a Texto (visual) 
337 |a sin mediación 
338 |a volumen 
650 1 7 |a Programación de ordenadores  |2 ULA 
650 1 7 |a Ordenadores  |x Arquitectura  |2 ULA 
650 1 4 |a Inteligencia artificial 
650 1 7 |a Lenguajes de ordenador  |2 ULA 
650 1 7 |a Diseño lógico  |x Informática  |2 ULA 
700 1 |a Hamburguer, Henry,  |d 1940- 
850 |a ULA 
904 |a 2  |b 2  |c Disponibilidad  |d Fecha  |t 239110  |j 681.3 RIC log 
990 |a emil