Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland
Conference Author:
Conference on Automated Deduction (6th : 1982 : New York, N.Y)
Published:
Berlin ; New York : Springer-Verlag, 1982.
Physical Description:
vii, 389 pages : illustrations ; 24 cm
Additional Creators:
Loveland, Donald W.
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series:
Lecture notes in computer science ; no. 138
Subject(s):
Automatic theorem proving
—
Congresses
Logic, Symbolic and mathematical
—
Congresses
ISBN:
0387115587 (New York)
3540115587 (Berlin)
Related Titles:
Sixth Conference on Automated Deduction, New York, USA, June 7-9, 1982
Bibliography Note:
Includes bibliographies.
View MARC record
| catkey: 684011