All Products

Showing 1 to 3 of 3 Products

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: 1

First Published: 2001

eBook: 978-0-08-053279-0

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: II

First Published: 2001

Hardcover: 978-0-444-50812-6

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: I

First Published: 2001

Hardcover: 978-0-444-82949-8