Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results for author "Paulson, Lawrence C."
Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSF 88-646 Offsite ML for the working programmer / Laurence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 92-899 Offsite Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-448 Offsite ML for the working programmer / Laurence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 P38 1991 Off-site Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 P38 1994 Off-site ML for the working programmer / Lawrence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 P38 1996 Off-site Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .P38 1987 Off-site Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .P38 1987 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
