Lecture Notes in Computer Science
Volume 2152, 2001, DOI: 10.1007/3-540-44755-5

Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Richard J. Boulton and Paul B. Jackson

Contents

Viewing all 26 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2001
DOI
10.1007/3-540-44755-5
ISBN
978-3-540-42525-0
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Monday, June 30, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002