مؤلف: Victor A. Carreno

Victor A. Carreno & Cesar A. Munoz: Theorem Proving in Higher Order Logics