Research Catalog
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
- Title
- 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.
- Publication
- Berlin ; New York : Springer-Verlag, c1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 94-1395 | Offsite |
Details
- Additional Authors
- Description
- ix, 517 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 780
- Subject
- Automatic theorem proving > Congresses
- Note
- Papers presented at the 1993 HOL User's Group Workshop.
- Includes index.
- Call Number
- JSE 94-1395
- ISBN
- 3540578269 (Berlin : acid-free paper)
- 0387578269 (New York : acid-free paper)
- LCCN
- 94001560
- OCLC
- 29844349
- NYPGR29844349-B
- Title
- 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.
- Imprint
- Berlin ; New York : Springer-Verlag, c1994.
- Series
- Lecture notes in computer science ; 780
- Added Author
- Joyce, Jeffrey J., 1960-Seger, Carl-Johan H.HOL User's Group Workshop (6th : 1993 : Vancouver, B.C.)
- Research Call Number
- JSE 94-1395