Phillip J. Windley

Phillip J. Windley

3 books in the database

Books

Higher order logic theorem proving and its applicationsPhillip J. Windley

Higher order logic theorem proving and its applications

Phillip J. Windley · 1995

The Live WebPhillip J. Windley

Phillip J. Windley · 2011

Digital IdentityPhillip J. Windley

Digital Identity

Phillip J. Windley · 2005

Co-authored books and collections

Books that list Phillip J. Windley among their authors but not as the lead author: co-written works, collections and compilations.

Higher Order Logic Theorem Proving and Its ApplicationsE. Thomas Schubert

Higher Order Logic Theorem Proving and Its Applications

E. Thomas Schubert · 2014