Search results for: Dirk Eisenbiegler
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 154-169
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 101-114
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 154-169
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 101-114