Matches in DBpedia 2016-04 for { <http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- HolHistory.html accessdate "2007-10-11".
- HolHistory.html authorlink "Michael J. C. Gordon".
- HolHistory.html first "Michael J. C.".
- HolHistory.html isCitedBy HOL_(proof_assistant).
- HolHistory.html isCitedBy Logic_for_Computable_Functions.
- HolHistory.html isCitedBy ML_(programming_language).
- HolHistory.html last "Gordon".
- HolHistory.html title "From LCF to HOL: a short history".
- HolHistory.html url HolHistory.html.
- HolHistory.html year "1996".