1 option
Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.
LIBRA Q334 .A88 v.1-2
Available from offsite location
- Format:
- Book
- Series:
- Symbolic computation. Artificial intelligence
- Symbolic computation. Artificial intelligence.
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Physical Description:
- volumes : illustrations ; 25 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, 1983-
- Contents:
- 1. Classical papers on computational logic 1957-1966
- 2. Classical papers on computational logic 1967-1970.
- Notes:
- Includes bibliographies.
- ISBN:
- 3540120432
- OCLC:
- 221809856
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.