Automated Reasoning > Editions

by Larry Wos First published November 1987

Sort by

Format

Language

Editions

Showing 1-1 of 1

Automated Reasoning: 33 Basic Research Problems (Paperback)

Published November 1st 1987 by Prentice Hall

Paperback, 319 pages

Author(s):

ISBN:

9780130545527 (ISBN10: 013054552X)

ASIN:

013054552X

Edition language:

English

Average rating:

3.00 (1 rating)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars