Computer Science Logic by Workshop on Computer Science Logic, Luke Ong
| ISBN: | 9783540282310 |
| Publication date: | 9th August 2005 |
| Author: | Workshop on Computer Science Logic, Luke Ong |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 565 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Mathematical logic Mathematical foundations Mathematical theory of computation Artificial intelligence |