by Dov M. Gabbay (Author), Samson Abramsky (Author), T. S. Maibaum (Author)
This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.
Format: Illustrated
Pages: 668
Edition: Illustrated
Publisher: OUP Oxford
Published: 04 May 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809