Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings


Book Informaton

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Author

Thomas F. Melham; Juanito Camilleri

Series

Lecture Notes in Computer Science

Volume

859

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XI, 477

Language

EN

ISBN

9783540584506, 9783540488033, 3540584501

ARI Id

1664351107325


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 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-32
33-48
49-64
65-80
81-96
97-112
113-127
128-143
144-157
158-176
177-192
193-204
205-220
221-234
235-253
254-268
269-284
285-299
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries