Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theorem proving in higher order logics: 9th International Conference, TPHOL ʼ96, Turku, Finland, August 1996: proceedings /

Theorem proving in higher order logics: 9th International Conference, TPHOL ʼ96, Turku, Finland, August 1996: proceedings /


Book Informaton

Theorem proving in higher order logics: 9th International Conference, TPHOL ʼ96, Turku, Finland, August 1996: proceedings /

Author

Wright, J. von; Grundy, J.; Harrison, J.

Series

Lecture notes in computer science;

Volume

1125

Year of Publication

[1996], ©1996.

Publisher

Springer-Verlag,

Pages

447

Language

en

ISBN

3540615873, 9783540615873

ARI Id

1675120045989


Find on

World Cat

OpenLibrary

Internet Archive


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

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries