Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Book section

Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: von Wright, Joakim and Grundy, Jim and Harrison, John, eds. Theorem Proving in Higher Order Logics 9th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 431-446. ISBN 978-3-540-61587-3. E-ISBN 978-3-540-70641-0. (doi:10.1007/BFb0105420) (KAR id:21347)

This list was generated on Fri May 3 22:46:10 2024 BST.