Start Over
You searched for: author_facet Carreño, Victor A.

Search Results

Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

Location
Access Content Online
Cover image for Theorem proving in higher order logics

Theorem proving in higher order logics

Location
Access Content Online
Cover image for Upset susceptibility study employing circuit analysis and digital simulation

Upset susceptibility study employing circuit analysis and digital simulation

Location Call # Status
Joyner - Microforms B300 NAS 1.15:85822 ✔ Available