1 option
Theorem proving in higher order logics : emerging trends proceedings / Joe Hurd, Edward Smith, Ashish Darbari (eds.)
- Format:
- Book
- Conference/Event
- Conference Name:
- TPHOLs (18th : 2005 : Oxford, England), author.
- Series:
- Programming Research Group research report ; RR-05-02.
- Language:
- English
- Subjects (All):
- Automatic theorem proving--Congresses.
- Physical Description:
- 1 online resource (vi, 236 pages) : illustrations
- Place of Publication:
- Oxford : Oxford University Computing Laboratory, [2005]
- System Details:
- text file PDF 3.1 MB
- Summary:
- "This volume is the Emerging Trends proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during 22-25 August 2005 in Oxford, UK. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification. In keeping with longstanding tradition, the Emerging Trends track of TPHOLs 2005 offered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session."--Department of Computer Science website (viewed April 6, 2018).
- Notes:
- At head of title: Programming Research Group.
- "PRG-RR-05-02."
- Companion to the main volume of proceedings from the conference: Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.). Berlin : Springer, [2005]
- Includes bibliographical references and author index.
- Description based on online resource; title from PDF title page (Department of Computer Science, University of Oxford, viewed April 6, 2018).
- Other Format:
- Print version: TPHOLs 2005 (2005 : Oxford, England). Theorem proving in higher order logics.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.