| Title:
|
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 4. SEMANTIC MODELLING
|
| By: |
Samson Abramsky (Editor), Dov M. Gabbay (Editor), T. S. E. Maibaum (Editor) |
| Format: |
Hardback |
| List price:
|
£390.00 |
| Our price: |
£341.25 |
| Discount: |
|
| You save:
|
£48.75 |
|
|
|
|
|
| ISBN 10: |
0198537808 |
| ISBN 13: |
9780198537809 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
OXFORD UNIVERSITY PRESS |
| Pub. date: |
4 May, 1995 |
| Series: |
Handbook of Logic in Computer Science |
| Pages: |
666 |
| Description: |
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. |
| Synopsis: |
This handbook volume 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. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. |
| Illustrations: |
line figures |
| Publication: |
UK |
| Imprint: |
Clarendon Press |
| Returns: |
Returnable |