Home > Authors > Victor A. Carreno > Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

Recent activity

Rate this book to see your activity here.

1 Book Similar to Theorem Proving in Higher Order Logics by Victor A. Carreno

Bookscovery readers who liked Theorem Proving in Higher Order Logics also like Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system. How many of these have you read?

Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system by Victor A. Carreno

Cover of Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Theorem Proving in Higher Order Logics

Please sign in to leave a comment