“Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009 |
| |
Authors: | Freek Wiedijk |
| |
Affiliation: | 1. Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands
|
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|