volver |
| Fundamentos de lógica computacional |
| |
| Publicación: |
|
| Editorial: |
Trillas, México |
| Cantidad de páginas: |
109 |
| Código SCDD: |
511.3
|
| ISBN: |
968-24-6100-6 |
| Contenido temático: |
LOGICA PROPOSICIONAL PREDICADOS COMPLEJIDAD COMPUTACIONAL REGLA LITERAL LOGICA TEMPORAL MODAL METODOS FORMALES LOGICA DE HOARE |
| Contenido Web: |
|
No se encuentran ejemplares para este material
Búsqueda: Detalles del material seleccionado
|