TY  - BOOK
T1  - Logic of computation
T2  - NATO ASI series. Series F, Computer and systems sciences
A1  - Sin autor
A2  - Schwichtenberg, Helmut
LA  - English
PP  - Berlín
PB  - Springer
YR  - 1997
ED  - 1st ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.50809
OP  - 394
NO  - Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995 -en rev. de portada.
SN  - 3540629637
KW  - LÓGICA COMPUTACIONAL
KW  - REQUERIMIENTOS/ESPECIFICACIONES
ER  -