Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000115777793 | 1 hits
Person
ISNI: 
0000 0001 1577 7793
Name: 
Paulson, L. C.
Paulson, Laurence C.
Paulson, Lawrence
Paulson, Lawrence C.
Dates: 
1955-...
Creation class: 
article
Language material
Text
Creation role: 
author
editor
Related names: 
Nipkow, Tobias (1958-)
Wenzel, Markus
Titles: 
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, 1987:
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: 
Sources: 
VIAF BNF LC LNB NTA NUKAT SUDOC WKP
ZETO