Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
- ISBN-10
- 0191546275
- ISBN-13
- 9780191546273
- Series
- Handbook of Logic in Computer Science
- Category
- Computers
- Pages
- 556
- Language
- English
- Published
- 2001-01-25
- Publisher
- OUP Oxford
- Authors
- Dov M. Gabbay, S. Abramsky, T. S. E. Maibaum
Description
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.
Get the book
Other editions
-
- 2001-01-25
- 556 pages
- Paperback
- OUP Oxford
-
- 1995-05-04
- 666 pages
- Paperback
- Clarendon Press
-
- 1992-12-10
- 582 pages
- Paperback
- Clarendon Press
-
- 1992-12-10
- 840 pages
- Paperback
- Clarendon Press
Similar books
-
Handbook of Logic and Proof Techniques for Computer Science
By Steven G. KrantzThus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.
-
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5
By Dov M. Gabbay, C. J. Hogger, J. A. RobinsonLogic Programs with Uncertainties: A Tool for Implementing Expert Systems, Proc. 8th. ... In Proceedings of the IFIP TC10/WG10.2/WG10.5 Workshop on Applied Formal Methods for Correct VLSI Design, Leuven, Belgium, L.J.M. Claesen, ed.
-
Logic for Computer Scientists
By Uwe SchöningThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming.
-
Logic in Computer Science: Modelling and Reasoning about Systems
By Mark Ryan, Michael HuthThe coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
-
Handbook of Logic and Language
By Alice ter Meulen, Johan F.A.K. van BenthemThis new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective.
-
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2
By Dov M. Gabbay, C. J. Hogger, J. A. RobinsonThe Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-author volume work covering all major areas of application of logic to AI and logic programming.
-
Handbook of Practical Logic and Automated Reasoning
By John HarrisonLikewise, metalogical reasoning applied to formalized mathematical proofs is often called metamathematics (see Section 7.1). By the way, our chosen programming language OCaml is derived from Edinburgh ML, which was expressly designed ...
-
Logic for Computer Scientists
By Uwe SchöningThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming.
-
A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics
By Robert S. Boyer, J Strother MooreThe text then takes a look at proving theorems in the logic, mechanized proofs in the logic, and an introduction to the system.