Automated reasoning: Introduction and applications
Full Title: | Automated reasoning: Introduction and applications |
---|---|
ISBN: | 0130544531 |
ISBN13: | 9780130544537 |
Authors: |
Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos |