Automated Model Building
Publisher: Springer; Caferra Ricardo Leitsch Alexander Peltier Nicolas
Published: Dec 06, 2010
Format: paperback
Number of pages: 360
ISBN-13: 9789048166961
Notes: Source title: Automated Model Building (Applied Logic Series)