1 Ebooks tarafından Victor A. Carreno
Victor A. Carreno & Cesar A. Munoz: Theorem Proving in Higher Order Logics
…
PDF
İngilizce
DRM
€57.90
