Big Books of 2026

Automated Reasoning > Editions

by Larry Wos First published March 1st 1992

Sort by
Format
Language
Editions
Showing 1-3 of 3
Automated Reasoning: Introduction and Applications/Book & Disk
Automated Reasoning: Introduction and Applications/Book & Disk (Hardcover)
Published January 1st 1992 by McGraw-Hill
Subsequent, Hardcover
Author(s):
ISBN:
9780079112514 (ISBN10: 007911251X)
ASIN:
007911251X
Edition language:
English
Average rating:
5.00 (2 ratings)
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/Book & Disk by Wos, Larry (1992) Hardcover
Automated Reasoning: Introduction and Applications/Book & Disk by Wos, Larry (1992) Hardcover
Published by Mcgraw-Hill (Tx)
2 Har/Dis, Hardcover, 0 pages
Author(s):
ASIN:
B011W9YPYO
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
Automated Reasoning -Introduction and ApplicationsBook & Disk
Automated Reasoning -Introduction and ApplicationsBook & Disk (Paperback)
Published January 1st 1992 by McGraw Hill
Paperback, 0 pages
Author(s):
ASIN:
B007YXQSD4
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