Menu

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

obnb.uk is a Good Stuff website.