E-Thesis 300 views 68 downloads
Interactive theorem proving and program extraction. / Tie Hou
Swansea University Author: Tie Hou
-
PDF | E-Thesis
Download (4.15MB)
Abstract
Interactive theorem proving and program extraction.
| Published: |
2014
|
|---|---|
| Institution: | Swansea University |
| Degree level: | Doctoral |
| Degree name: | Ph.D |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa42845 |
| College: |
Faculty of Science and Engineering |
|---|