1 option
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann.
LIBRA QA76.9.A96 I57 1986
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International Conference on Automated Deduction (8th : 1986 : Oxford, Oxfordshire)
- Series:
- Lecture notes in computer science ; 230.
- Lecture notes in computer science ; 230
- Language:
- English
- Subjects (All):
- Automatic theorem proving--Congresses.
- Automatic theorem proving.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- ix, 708 pages : illustrations ; 25 cm.
- Other Title:
- Eighth International Conference on Automated Deduction.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1986]
- Notes:
- Includes bibliographies.
- ISBN:
- 0387167803
- OCLC:
- 13916345
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.