DaftarIsitemplate

Call Number

SEM-281

Title

Faster proof cheking in the edinburgh logical framework, Hal. 392-407

Author

Aaron Stump; David L. Dill;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location