Phillip J. Windley

Phillip J. Windley

3 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Phillip J. Windley מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Higher Order Logic Theorem Proving and Its ApplicationsE. Thomas Schubert

Higher Order Logic Theorem Proving and Its Applications

E. Thomas Schubert · 2014