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:	Philosophy Engineering Logic business.industry Library science Automated reasoning business
Zdroj:	The Bulletin of Symbolic Logic. 16:279-281
ISSN:	1943-5894 1079-8986
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::66de7d6b3e10c7f7d8d416b2023a46c9 https://doi.org/10.1017/s1079898600001062 Zobrazit plný text záznamu