Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods - Hardcover

Abramsky, Samson; Gabbay, Dov M.; Maibaum, T. S.

 
9780198537816: Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
Hardcover
ISBN 10: 0198537816 ISBN 13: 9780198537816
Verlag: OUP Oxford, 2001

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den 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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
OUP Oxford
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0198537816
ISBN 13 
9780198537816
Einband
Gebundene Ausgabe
Anzahl der Seiten
556
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Deutschland