George Metcalfe
2 published titles
Proof theory for fuzzy logics
1 edition
- ISBN: 9781402094095
- Springer
- 2009
- Details
Automated reasoning with analytic tableaux and related methods : 20th International conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642221187
- Springer
- 2011
- Details