Cite this
Email this
Export Record
Save to List
Order a print copy

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings

Saved in:
Bibliographic Details
Other Authors: Boulton, Richard J. (Editor)
Jackson, Paul B., 1962- (Editor) 
Conference: TPHOLs 2001 (14. : 2001 : Edinburgh, Velká Britanie)
Format: Book
Language:English
Published: Berlin : Springer, 2001
Series:Lecture notes in computer science, v. 2152
ISBN:3-540-42525-X
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Status Sublibrary Description Location LCC Call number Old Call number
Regular loan NTK collection 6th floor, shelf 6D/079 QA76 .9 .A96 T64 2001 A 32934/6