DaftarIsitemplate
 
Call Number
005.133 Gab l
Title
Small proof witnesses for LF, (LNCS-Lecture Notes in Computer Science) Hal 387-401
Author
Susmit Sarkar; Brigitte Pientka; Karl Crary;
Publisher
Springer, 2005
Subject
Location