DaftarIsitemplate

Call Number

SEM-281

Title

Solving for set variables in higher-order theorem proving, Hal. 408-414

Author

Chad E. Brwon;

Publisher

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

Subject

Location