Clicky

Books by Cesar A. Munoz and similar authors - Bookscovery

Home > Authors > Cesar A. Munoz

Cesar A. Munoz

All books by Cesar A. Munoz

(Displaying 1 Book)

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Victor A. Carreno

Looking for another book by Cesar A. Munoz? Search for the book by title.