Autor: Jens Brandt Ajutor1 Ebooks de Jens Brandt Jens Brandt & Klaus Schneider: Theorem Proving in Higher Order Logics … PDF Engleză DRM €57.59 0 0 Casa 0,00 × × × Schimbați limba utilizatorului × ArabicGermanăEnglezăSpaniolăFrancezaHindusă IndonezianăItalianaMalaezianOlandezăPolonezăPortughezăRomânescRusăSuedezăTailandezTurcUcraineanVietnamezăChinezInternational Modal ×