Menu

Alexander Leitsch

2 published titles

Automated model building

(Contributor)

1 edition

  • ISBN: 1402026536
  • Kluwer Academic
  • 2004
  • Details

Methods of cut-elimination

(Contributor)

1 edition

  • ISBN: 9789400703193
  • Springer
  • 2011
  • Details

obnb.uk is a Good Stuff website.