Handbook of logic in computer science. II, Background : computational structures / volume co-ordinator Dov M. Gabbay

Handbook of logic in computer science II, Background : computational structures / volume co-ordinator Dov M. Gabbay II, Background : computational structures / volume co-ordinator Dov M. Gabbay /

Detalles Bibliográficos
Otros Autores: Abramsky, S., editor literario (editor literario), Gabbay, Dov M., 1945- editor literario, Maibaum, T.S.E., editor literario
Formato: Libro
Idioma:Inglés
Publicado: Oxford : Clarendon Press 1992
Materias:
Informática.
Lógica matemática.
Ver en Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991009763939708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Descripción
Descripción Física:v. II (X, 571 p.) ; 25 cm
ISBN:9780198537618

Ejemplares similares