Menu

Michaël Rusinowitsch

1 published title

Automated reasoning : second international joint conference, IJCAR 2004

(Contributor)

1 edition

  • ISBN: 3540223452
  • Springer
  • 2004
  • Details

obnb.uk is a Good Stuff website.