Available Indexes

Higher order logic theorem proving and its applications :
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Jeffrey J. Joyce, Carl-Johan H. Seger, eds.

Description

Tools

Related Names: Seger, Carl-Johan H. , Joyce, Jeffrey J. 1960-
Language(s): English
Published: Berlin ; Springer-Verlag, c1994.
Subjects: Automatic theorem proving > Automatic theorem proving / Congresses.
Physical Description: ix, 517 p. : ill. ; 24 cm.
ISBN: 0387578269 (New York : acid-free paper)
3540578269 (Berlin : acid-free paper) :
Locate a Print Version: Find in a library

Viewability

Item Link Original Source
Limited (search only) University of California
View HathiTrust MARC record