Lawrence C. Paulson

Lawrence C. Paulson

3 books in the database

Books

IsabelleLawrence C. Paulson

Lawrence C. Paulson · 1994

Logic and ComputationLawrence C. Paulson

Logic and Computation

Lawrence C. Paulson · 1987

Logic and computationLawrence C. Paulson

Logic and computation

Lawrence C. Paulson · 1987

Co-authored books and collections

Books that list Lawrence C. Paulson among their authors but not as the lead author: co-written works, collections and compilations.

Isabelle/HOLTobias Nipkow

Tobias Nipkow · 2002