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
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
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 32 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 32 entries