ISBN 9789048166961 books & textbook

Automated Model Building (Applied Logic Series)

Caferra, Ricardo Leitsch, Alexander Peltier, Nicolas

Springer /2010-12-05 Paperback / 352 Pages
isbn-10: 9048166969 / isbn-13: 9789048166961