1 option
Automated reasoning : introduction and applications / Larry Wos ... [and others].
LIBRA QA76.9.A96 A93 1984
Available from offsite location
- Format:
- Book
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Artificial intelligence.
- Computer programming.
- Physical Description:
- xiv, 482 pages : illustrations ; 24 cm
- Place of Publication:
- Englewood Cliffs, N.J. : Prentice-Hall, [1984]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 0130544531
- OCLC:
- 10099218
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.