Handbook of logic in computer science /

Guardado en:
Otros Autores: Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-
Formato: Libro
Idioma:English
Publicado: Oxford : New York : Clarendon Press ; Oxford University Press, 1992-<2000
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
descripción de la copia:La biblioteca posee: v. 1 Background:mathematical structures, 1992; v. 2 Background: computational structures, 1992; v. 3 Semantic Structures, 1994; v. 4 Semantic Modelling
Descripción Física:v. <1-5: ill. ; 25 cm.
Bibliografía:Includes bibliographical references and indexes.
ISBN:0198537352 (v. 1)
0198537611 (v. 2)
019853762X (v. 3)
0198537808 (v. 4)