
Siguiente: Sobre este documento... Subir: rama Anterior: Agradecimientos   Índice del Documento
- 1
-
M. Ben-Ari.
Mathematical Logic for Computer Science.
Springer-Verlag, London, UK, 2001.
- 2
-
P.J. Denning, D.E. Comer, D. Gries, M.C. Mulder, A.B. Tucker, A.J. Turner, and
P.R. Young.
Computing as a discipline.
Communications of the ACM, 32(1):9-23, 1989.
- 3
-
D.J. Israel.
The role(s) of logic in artificial intelligence.
In J.A. Robinson D.M. Gabbay, C.J. Hogger, editor, Handbook of
Logic in Artificial Intelligence and Logic Programming, volume 1 Logical
Foundations, pages 67-182. Oxford University Press, Oxford, UK, 1992.
- 4
-
M. Ryan and M. Sadler.
Valuation systems and consequence relations.
In T.S.E. Maibaum S. Abramsky, D.M. Gabbay, editor, Handbook of
Logic in Computer Science, volume 1 Background: Mathematical Structures,
pages 321-363. Oxford University Press, Oxford, UK, 1992.
Pascual Julian Iranzo
2004-05-06