Handbook of logic in computer science. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9780191546273
- 0191546275
- 1280375272
- 9781280375279
- Logic and algebraic methods
- Computer science
- Logic, Symbolic and mathematical
- Electronic Data Processing
- Informatique
- Logique symbolique et mathématique
- COMPUTERS -- Reference
- COMPUTERS -- Machine Theory
- COMPUTERS -- Computer Literacy
- COMPUTERS -- Information Technology
- COMPUTERS -- Data Processing
- COMPUTERS -- Computer Science
- COMPUTERS -- Hardware -- General
- Computer science
- Logic, Symbolic and mathematical
- Ciencia da computacao ou informatica
- Logica e semantica de programacao
- Programming
- 004 22
- QA76 .H2785 2000eb
Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
OPJGU Sonepat- Campus | E-Books EBSCO | Available |
Includes bibliographical references and indexes.
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.
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide
There are no comments on this title.