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 /

Mostrar otras versiones (1)
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://innopac.unav.es/record=b11919358*spi
Descripción
Descripción Física:v. II (X, 571 p.) ; 25 cm
ISBN:9780198537618

Ejemplares similares