Buy Used and New Alexander Leitsch Books

Results for Alexander Leitsch

Showing 1 to 6 of 6 results
Automated Model Building (Applied Logic): 31 (Applied Logic Series) Automated Model Building (Applied Logic): 31 (Applied Logic Series) by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier

Automated Model Building (Applied Logic): 31 (Applied Logic Series)

by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier


ISBN 13: 9781402026522

Format: Hardcover (360 pages)
Publisher: Springer
Published: 13 Sep 2004

Save for later

 
New : $226.53  
New : $226.53
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) by Alexander Leitsch

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

by Alexander Leitsch


ISBN 13: 9783642644733

Format: Paperback (308 pages)
Publisher: Springer
Published: 31 Jul 2012

Save for later

 
New : $76.59  
New : $76.59