Search results for: Brian E. Aydemir
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Advances in Theorem Prover Technology > 287-303
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Advances in Theorem Prover Technology > 287-303