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