Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Hal-Cea (Commissariat A L'energie Atomique Et Aux Energies Alternatives) Geographic : brazil Geographic : turkey

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Proof certificates in PVS

Authors : Gilbert, Frédéric;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Brasilia; Brazil

Source: LNCS ; ITP 2017 - 8th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-01673517 ; ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي