Handbook of logic in computer science. V, Logic and algebraic methods / volume co-ordinator Dov M. Gabbay

Handbook of logic in computer science V, Logic and algebraic methods / volume co-ordinator Dov M. Gabbay V, Logic and algebraic methods / 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 2000
Subjects:
Informática.
Lógica matemática.
See on Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991000984919708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Description
Physical Description:v. V (XVIII, 537 p.) ; 25 cm
ISBN:9780198537816

Similar Items