Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings


Book Informaton

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Author

David Basin; Burkhart Wolff

Series

Lecture Notes in Computer Science

Volume

2758

Year of Publication

2003

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

X, 366

Language

en

ISBN

9783540406648, 9783540451303, 3540406646

ARI Id

1664842213643


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-24
25-40
41-54
55-70
71-86
87-102
103-119
120-135
136-154
155-170
171-187
188-203
204-204
205-220
221-237
238-252
253-269
270-286
287-303
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries