Browse by Person (creator, editor, contributor, etc.)
Number of items: 2. Book section
|
Hanna, F.K. and Howells, W.G.J.
(1994)
Parallel Theorem Proving.
In: Runciman, C. and Wakeling, D., eds.
Applications of Functional Programming.
UCL Press, pp. 221-235.
The full text of this publication is not available from this repository.
|
|
|
Hanna, F.K. and Howells, W.G.J.
(1994)
The Veritas Proof Assistant.
In: Runciman, C. and Wakeling, D., eds.
Applications of Functional Programming.
UCL Press, pp. 125-204.
The full text of this publication is not available from this repository.
|
|
This list was generated on Tue May 21 04:30:08 2013 BST. |
