James Alves-Foss
James Alves-Foss
Books
Co-authored books and collections
Books that list James Alves-Foss among their authors but not as the lead author: co-written works, collections and compilations.
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