James Alves-Foss

ספרים שבהם James Alves-Foss מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Cyber SecurityKristin Haltinner

Cyber Security

Kristin Haltinner · 2016

Higher order logic theorem proving and its applicationsPhillip J. Windley

Higher order logic theorem proving and its applications

Phillip J. Windley · 1995

Higher Order Logic Theorem Proving and Its ApplicationsE. Thomas Schubert

Higher Order Logic Theorem Proving and Its Applications

E. Thomas Schubert · 2014