Some Research Issues in Higher Order Logic Theorem Proving
Үндсэн зохиолч: | |
---|---|
Формат: | Report |
Хэвлэсэн: |
Department of Computer Science‚ University of Aarhus
1996
|
Үндсэн зохиолч: | |
---|---|
Формат: | Report |
Хэвлэсэн: |
Department of Computer Science‚ University of Aarhus
1996
|