Lógica para computación.

Guardado en:
Detalles Bibliográficos
Autor principal: Naishtat, Francisco
Formato: Libro
Lenguaje:Español
Publicado: Buenos Aires : Eudeba, 1986.
Edición:1a ed.
Colección:(Informática y Computación)
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01741nam a2200649 a 4500
001 010007293
003 2015 08 26
005 20230414192650.0
008 161003s1986 ag ||||| |||| 00| 0 spa d
024 |a IIGG 
040 |a IIGG  |c IIGG 
100 1 |a Naishtat, Francisco 
245 0 0 |a Lógica para computación. 
250 |a 1a ed. 
260 |a Buenos Aires :  |b Eudeba,  |c 1986. 
300 |a 300 p. 
490 0 |a (Informática y Computación) 
500 |a Canje con la Biblioteca de Humanidades de la Universidad Nacional de La Plata. 
650 0 |a LOGICA 
653 0 |a LENGUAJE FORMAL 
653 0 |a SINTAXIS 
653 0 |a SEMANTICA 
653 0 |a ALGEBRA BOOLEANA 
653 0 |a CALCULO DE PREDICADOS 
653 0 |a TEORIA DE MODELOS 
942 0 0 |c LIBRO  |2 z 
990 |a v01010007293 
990 |a v032015 08 26 
990 |a v05m 
990 |a v06s 
990 |a v07MONOGRAF 
990 |a v24Lógica para computación 
990 |a v28Naishtat, Francisco 
990 |a v36Informática y Computación 
990 |a v441a ed. 
990 |a v451986 
990 |a v47Eudeba. Buenos Aires 
990 |a v48AR 
990 |a v50es 
990 |a v52300 p. 
990 |a v59Canje con la Biblioteca de Humanidades de la Universidad Nacional de La Plata 
990 |a v62LENGUAJE FORMAL 
990 |a v62SINTAXIS 
990 |a v62SEMANTICA 
990 |a v62ALGEBRA BOOLEANA 
990 |a v62CALCULO DE PREDICADOS 
990 |a v62TEORIA DE MODELOS 
990 |a v65LOGICA 
990 |a v756839 
990 |a v76AGX 
990 |a v776839 
990 |a v841 ej. 
990 |a v87CLACSO 
990 |a v98AGX010007293 
990 |a v940006839.jpg 
990 |a v999Ignacio 
999 |c 78984  |d 78984