Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Zammit, Vincent
(1997)
A Comparative Study of Coq and HOL.
In: Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Murray Hill, NJ, USA, 19/08/1997, Murray Hill NJ , ETATS-UNIS .
|
|
This list was generated on Wed May 22 16:28:26 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
