Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
| ISBN: | 9783540454588 |
| Publication date: | 20th September 2006 |
| Author: | Workshop on Computer Science Logic, Zoltán Ésik, European Association for Computer Science Logic |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 626 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Mathematical logic Mathematical foundations Mathematical theory of computation Artificial intelligence |
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Computer Science Logic features in the following genres: Compilers and interpreters, Mathematical logic, Mathematical foundations, Mathematical theory of computation, Artificial intelligence
Computer Science Logic is available in Paperback
Computer Science Logic was written by Workshop on Computer Science Logic, Zoltán Ésik, European Association for Computer Science Logic and published by Springer an imprint of Springer Berlin Heidelberg
Computer Science Logic has 626 pages
Yes it is part of Lecture Notes in Computer Science series