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 /

Bibliographic Details
Other Authors: Abramsky, S., editor literario (editor literario), Gabbay, Dov M., 1945- editor literario, Maibaum, T.S.E., editor literario
Format: Book
Language:Inglés
Published: Oxford : Clarendon Press 1992
Subjects:
Informática.
Lógica matemática.
See on 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
Description
Physical Description:v. II (X, 571 p.) ; 25 cm
ISBN:9780198537618

Similar Items