Automated practical reasoning

Author Statement

Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham

Publication

Springer-Verlag

Publication Year

c1995

Collation

xi, 223 p.: illus.; 24 cm

Series

Texts and monographs in symbolic computation, 0943-853X

Subject

Automatic theorem proving,Reasoning

ADDED ENTRIES

Pfalzgraf, Jochen

Holding Info.

3211826009

Original By

76/10

DocumentNumber

42852

SubTitle

: algebraic approaches

Biblography

Includes bibliographical references and index

Link To Document