Big Books of 2026

Automated Reasoning > Editions

by Larry Wos First published February 1st 1984

Sort by
Format
Language
Editions
Showing 1-2 of 2
Automated Reasoning: Introduction and Applications
Automated Reasoning: Introduction and Applications (Paperback)
Published January 1st 1984 by Prentice-Hall
First Edition, Paperback, 482 pages
Author(s):
ISBN:
9780130544469 (ISBN10: 0130544469)
ASIN:
0130544469
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Automated reasoning: Introduction and applications
Automated reasoning: Introduction and applications (Hardcover)
Published January 1st 1984 by Prentice-Hall
n, Hardcover, 482 pages
Author(s):
ISBN:
9780130544537 (ISBN10: 0130544531)
ASIN:
0130544531
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page