Items related to Automated reasoning: Introduction and applications

Automated reasoning: Introduction and applications - Hardcover

 
9780130544537: Automated reasoning: Introduction and applications