Victor A Carreno - Böcker

Visar alla böcker från författaren Victor A Carreno.
2 produkter
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics, Häftad
Del 2410 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

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

Häftad, Engelska, 2002

739 kr

Skickas inom 7-10 vardagar