Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science) - Tapa dura

 
9780198537816: Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)
Tapa dura
ISBN 10: 0198537816 ISBN 13: 9780198537816
Editorial: OUP Oxford, 2001

Sinopsis

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
OUP Oxford
Año de publicación
2001
Idioma
Inglés
ISBN 10 
0198537816
ISBN 13 
9780198537816
Encuadernación
Tapa dura
Número de páginas
556
Editor
Abramsky S., Gabbay Dov M., Maibaum T. S. E.
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania