Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Book section
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 Mon May 19 18:14:19 2014 BST.