Some Research Issues in Higher Order Logic Theorem Proving
Hovedforfatter: | |
---|---|
Format: | Report |
Udgivet: |
Department of Computer Science‚ University of Aarhus
1996
|
Hovedforfatter: | |
---|---|
Format: | Report |
Udgivet: |
Department of Computer Science‚ University of Aarhus
1996
|