Communication Dans Un Congrès
Année : 2013
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01766903
Soumis le : samedi 14 avril 2018-16:56:56
Dernière modification le : mercredi 14 février 2024-03:09:33
Dates et versions
Identifiants
- HAL Id : hal-01766903 , version 1
Citer
Wenzel Makarius. Shared-Memory Multiprocessing for Interactive Theorem Proving. Interactive Theorem Proving - 4th International Conference, ITP 2013, 2013, Rennes, France. ⟨hal-01766903⟩
Collections
57
Consultations
0
Téléchargements