Vista normal Vista MARC Vista ISBD

Frausto Solís, Juan

Fundamentos de lógica computacional - 212 páginas - Papel

Complejidad computacional, cap.4 Fundamentos de la lógica de hoare, cap.10 Introducción a los métodos formales, cap.9 Introducción, cap.1 Lógica de predicados, cap.3 Lógica modal, cap.8 Lógica proposicional, cap.2 Lógica temporal, cap.7 Regla de una literal, cap.6 Resolución, cap.5

ISBN: 968-24-6100-6

Subjects--Topical Terms:
Computadores
Logica-computadores

Dewey Class. No.: 004 / F659f