Logic in computer science : modelling and reasoning about systems /

Mostrar otras versiones (1)
Detalles Bibliográficos
Autor principal: Huth, Michael, 1962-
Otros Autores: Ryan, Mark, 1962- (coaut.)
Formato: Libro
Lenguaje:English
Publicado: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
Edición:2nd ed.
Materias:
Lógica computacional.
Programación lógica.
Acceso en línea:Muestra del texto
Tabla de contenido

MARC

LEADER 00000cam a22000002a 4500
001 ocm54960031
003 OCoLC
005 20150815143813.0
008 100825s2004 enka b 001 0 eng d
035 |a (Sirsi) i9780521543101 
040 |a DLC  |c DLC  |d UV# 
020 |a 052154310X (rústica) 
020 |a 9780521543101 (rústica) 
050 0 4 |a QA76.9.L63  |b H87 2004 
082 0 0 |a 005.1/01/5113  |2 22 
100 1 |a Huth, Michael,  |d 1962- 
245 1 0 |a Logic in computer science :  |b modelling and reasoning about systems /  |c Michael Huth, Mark Ryan. 
250 |a 2nd ed. 
260 |a Cambridge [U.K.] ;  |a New York :  |b Cambridge University Press,  |c 2004. 
300 |a xiv, 427 p. :  |b il. ;  |c 25 cm. 
504 |a Incluye bibliografía (p. 414-417) e índice. 
590 |a 5a reimpr., 2009: MIA-X. 
650 4 |a Lógica computacional.  |9 357382 
650 4 |a Programación lógica.  |9 359632 
700 1 |a Ryan, Mark,  |d 1962- ,  |e coaut. 
856 4 1 |3 Muestra del texto  |u http://www.loc.gov/catdir/samples/cam041/2004045921.html 
856 4 1 |3 Tabla de contenido  |u http://www.loc.gov/catdir/toc/cam041/2004045921.html 
901 |a Z0  |b UV# 
902 |a DGBUV 
596 |a 16 
942 |c LIBRO  |6 _ 
999 |c 235392  |d 235392 

Ejemplares similares