sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000115777793 | 1 hits
Person
ISNI: 
0000 0001 1577 7793
Name: 
Lawrence Paulson (American computer scientist)
Lawrence Paulson (informaticien américain)
Paulson, L. C.
Paulson, Laurence C.
Paulson, Lawrence C.
Dates: 
1955-
Creation class: 
article
Language material
Text
Creation role: 
author
editor
Related names: 
Cambridge University Press
Kaufmann, Matt
Nipkow, Tobias (1958- ))
Nipkow, Tobias (1958-)
Stanford University Computer Science Department
Wenzel, Markus
Titles: 
compiler generator for semantic grammars, A
Interactive theorem proving first international conference, ITP 2010, Edimburgh, UK, July 11-14, 2010 : proceedings
International cooperation and outer space habitats
Isabelle : a generic theorem prover
Isabelle, c1994:
Isabelle/HOL : a proof assistant for higher-order logic
Logic and computation : interactive proof with Cambridge LCF
MetiTarski : Past and Future
ML for the working programmer
Relative Consistency of the Axiom of Choice-Mechanized Using Isabelle/ZF, The
Contributed to or performed: 
LECTURE NOTES IN COMPUTER SCIENCE
Notes: 
"December 1981."
Thesis (Ph. D.)--Stanford University, 1981
Sources: 
VIAF LC LNB NKC NUKAT SUDOC WKD
BOWKER
NTA
ZETO