1.
Automated Reasoning: Introduction and Applications - Larry Wos - Paperback
by Wos, Larry, Overbeck, Ross,...
ISBN: 9780130544469
List Price: $22.00
2.
Automated Reasoning: Introduction and Applications
by Wos, Larry, Overbeck, Ross,...
ISBN: 9780130544537
List Price: $31.00