Automated reasoning

Author Statement

edited by Robert S. Boyer

Publication

Kluwer Academic Publishers

Publication Year

c1991

Collation

xi, 365 p.: ill.; 25 cm

Series

Automated reasoning series ; v. 1

Subject

Automatic theorem proving,Artificial intelligence

ADDED ENTRIES

Boyer, Robert S

Holding Info.

0792314093

Original By

76/10

DocumentNumber

42728

SubTitle

: essays in honor of Woody Bledsoe

Biblography

Includes bibliographical references and index

Link To Document