Browse by Journal

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

Jump to: Z

Number of items: 1.

Z

Zammit, Vincent (1997) A Comparative Study of Coq and HOL. In: Gunter, Elsa. L and Felty, Amy, eds. Theorem Proving in Higher Order Logics 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 323-337. ISBN 783540633792. E-ISBN 978-3-540-69526-4. (doi:10.1007/BFb0028403) (KAR id:21466)

This list was generated on Thu Apr 18 22:29:45 2024 BST.