- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Paulson, Lawrence C.

Showing 1 - 7 of 7 results

Search Results

Cover image for Isabelle

Isabelle

by Paulson, Lawrence C.
1994
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 P38 1994	✔ Available

Cover image for ML for the working programmer

ML for the working programmer

by Paulson, Lawrence C.
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.M6 P38 1996	✔ Available

Cover image for Logic and computation

Logic and computation

by Paulson, Lawrence C.
1987
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.59 .P38 1987	✔ Available

Cover image for Interactive Theorem Proving

Interactive Theorem Proving

by ITP (Conference)
2010
Format: Electronic

Location
Access Content Online

Cover image for Isabelle

Isabelle

by Paulson, Lawrence C.
1994
Format: Electronic

Location
Access Content Online

Cover image for Isabelle/HOL

Isabelle/HOL

by Nipkow, Tobias, 1958-
2002
Format: Electronic

Location
Access Content Online

Cover image for Isabelle/HOL

Isabelle/HOL

by Nipkow, Tobias, 1958-
2002
Format: Electronic

Location
Access Content Online