Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
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.
Կատեգորիաներ:
Տարի:
1995
Հրատարակչություն:
Clarendon Press
Լեզու:
english
Էջեր:
668
ISBN 10:
0198537808
ISBN 13:
9780198537809
Ֆայլ:
DJVU, 4.67 MB
IPFS:
,
english, 1995