An edition of Theorem proving in higher order logics
(1997)
Theorem proving in higher order logics
10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
by TPHOLs '97 (1997 Murray Hill, N.J.)
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Congresses, Automatic theorem proving, Ciencia da computacao ou informatica, Symbolic and mathematical Logic, Automatische bewijsvoering, Software engineering, Inteligencia artificial (computacao), Logic design, Logica, Computer science, Congres, Demonstration automatique, Theoremes, Logic, symbolic and mathematical| Edition | Availability |
|---|---|
1
Theorem proving in higher order logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
1997, Springer
in English
3540633790 9783540633792
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 11, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| November 26, 2020 | Edited by MARC Bot | import existing book |
| July 7, 2019 | Edited by MARC Bot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |