Ricardo Caferra
2 published titles
Automated deduction in classical and non-classical logics : selected papers
(Contributor)
1 edition
- ISBN: 3540671900
- Springer
- 2000
- Details
Automated model building
1 edition
- ISBN: 1402026536
- Kluwer Academic
- 2004
- Details
