Automated reasoning : introduction and applications / Larry Wos ... [et al.].
Material type:
- 0130544531
- 0130544469
- 001.535 22
- QA76.9.A96 A93 1984
Total holds: 0
Includes bibliographical references and index.
CSE, CIS, CS
There are no comments on this title.
Log in to your account to post a comment.