Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

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


Book Informaton

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

Author

Richard J. Boulton; Paul B. Jackson

Series

Lecture Notes in Computer Science

Volume

2152

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

Pages

X, 402

Language

en

ISBN

9783540425250, 9783540447559, 354042525X

ARI Id

1664680614585


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-X
1-3
4-4
5-26
27-42
43-58
59-74
75-90
91-104
105-120
121-125
136-153
154-168
169-184
185-200
201-216
217-232
233-248
249-260
265-280
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries