Fundamentos de lógica computacional
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | Libro |
Lenguaje: | Indeterminado |
Publicado: |
México
2000
|
Edición: | NULL |
Materias: | |
Aporte de: | Registro referencial: Solicitar el recurso aquí |
LEADER | 00470nam a2200145Ia 4500 | ||
---|---|---|---|
008 | 140624s9999 xx 000 0 und d | ||
100 | |a Frausto Solís, Juan | ||
245 | |a Fundamentos de lógica computacional | ||
250 | |a NULL | ||
250 | |b Trillas | ||
260 | |a México | ||
260 | |c 2000 | ||
650 | |a LOGICA PROPOSICIONAL PREDICADOS COMPLEJIDAD COMPUTACIONAL REGLA LITERAL LOGICA TEMPORAL MODAL METODOS FORMALES LOGICA DE HOARE | ||
700 | |a Sanchez Ante, Gildardo | ||
999 | |c 26093 |d 26093 |