Automated practical reasoning
Subtitle: algebraic approaches
By: Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham.
Contributors: Pfalzgraf, Jochen.; Wang, Dongming.
Series: Texts and monographs in symbolic computation,
Publisher: Springer-Verlag
Published: 1995
Place of publication: Wien; New York
Language: eng
Number of pages: 223
Subjects: Automatic theorem proving; Practical reason; Reasoning
Notes: Includes bibliographical references and index.