Automated Reasoning With Otter

5 avg rating
( 2 ratings by Goodreads )
 
9781589490048: Automated Reasoning With Otter

OTTER is a powerful reasoning program, currently in use to answer diverse and deep questions in mathematics and logic. This volume offers a treatment of automated reasoning and OTTER through examples, exercises and challenging questions. The CD-ROM contains the program itself.

"synopsis" may belong to another edition of this title.

About the Author:

John Kalman, received his Ph.D. from Harvard University in 1955 with Professor G.W. Mackey as Thesis Director, is a professor emeritus at the University of Auckland, New Zealand. He has written more than 25 articles on logic, as well as on mathematics, algebra, and automated deduction. Kalman's work on computer-aided studies of shortest single axioms for classical equivalential calculus was published in the Notre Dame Journal of Formal Logic in 1978 -- the earliest occasion that a renowned journal devoted to logic published a paper in which automated reasoning played the key role. His research spawned numerous papers on the topic. In particular, his visit to Argonne National Laboratory in 1979 began a decade of collaboration that resulted in the answering of several open questions in equivalential calculus. Kalman also was one of the earliest and heaviest users of ITP, an automated reasoning program developed at Argonne and the predecessor of the current Otter.

Review:

... A virtually limitless amount of treasure awaits the person who masters the use of Otter ... -- Larry Wos (Argonne Nantional Lab)

... a masterpiece ... a unique blend of theoretical and experimental material ... a joy to use ... -- Branden Fitelson (University of Wisconsin)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 88.00
US$ 102.99

Convert Currency

Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

John Arnold Kalman, John A Kalman
Published by Rinton Pr Inc (2001)
ISBN 10: 1589490045 ISBN 13: 9781589490048
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Rinton Pr Inc, 2001. Hardcover. Book Condition: New. Bookseller Inventory # DADAX1589490045

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 102.99
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

John Arnold Kalman/ John A Kalman
Published by Rinton Pr Inc (2001)
ISBN 10: 1589490045 ISBN 13: 9781589490048
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Rinton Pr Inc, 2001. Hardcover. Book Condition: Brand New. hardback/cd-rom edition. 536 pages. 11.00x8.00x1.25 inches. In Stock. Bookseller Inventory # 1589490045

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 155.80
Convert Currency

Add to Basket

Shipping: US$ 7.97
From United Kingdom to U.S.A.
Destination, Rates & Speeds