Clicky

Books by Sofiene Tahar and similar authors - Bookscovery

Home > Authors > Sofiene Tahar

Sofiene Tahar

All books by Sofiene Tahar

(Displaying 1 Book)

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Victor A. Carreno

Looking for another book by Sofiene Tahar? Search for the book by title.