ISBN Search

Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings

Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings

ISBN-13: 9783642027154

ISBN-10: 3642027156

Author: TABLEAUX 2009 Oslo, Norway)

Binding: Paperback

Publisher: Springer

Published: 2009-06-24

Sell this book           Buy or Rent?

Best Prices for this Book in New Condition

Best Used Prices

Compare Even More Offers

As an Amazon Associate we earn from qualifying purchases.