An edition of Automated reasoning (1984)
Automated reasoning
introduction and applications
By Larry Wos
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1984
Publisher
Prentice-Hall
Language
eng
Pages
482
RelatedBooks