John Harrison. Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge, UK, 2009, xix + 681 pp
Autor: | Alwen Tiu |
---|---|
Rok vydání: | 2010 |
Předmět: | |
Zdroj: | The Bulletin of Symbolic Logic. 16:279-281 |
ISSN: | 1943-5894 1079-8986 |
Databáze: | OpenAIRE |
Externí odkaz: |