1 option
A computational logic handbook / Robert S. Boyer, J Strother Moore.
LIBRA QA76.9.A96 B684 1988
Available from offsite location
- Format:
- Book
- Author/Creator:
- Boyer, Robert S.
- Series:
- Perspectives in computing (Boston, Mass.) ; vol. 23.
- Perspectives in computing ; vol. 23
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Logic, Symbolic and mathematical.
- Physical Description:
- xvi, 408 pages ; 24 cm.
- Place of Publication:
- Boston : Academic Press, [1988]
- Notes:
- Bibliography: pages 397-399.
- Includes index.
- ISBN:
- 0121229521
- OCLC:
- 18191851
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.