Seventh International Conference on Automated Deduction / [edited] by Robert E. Shostak.

Author
Conference on Automated Deduction (7th : 1984 : Napa, Calif.) [Browse]
Format
Book
Language
English
Published/​Created
New York : Springer-Verlag, [1984], ©1984.
Description
vi, 508 pages : illustrations ; 23 cm.

Details

Subject(s)
Related name
Series
Lecture notes in computer science ; 170. [More in this series]
LCCN
84005441
OCLC
230165577
RCP
C - O
Statement on responsible collection description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view
Need Help?
Ask a Question
Suggest a Correction
Report a Missing Item