Formalisation (Proof-checking)
Tulajdonos: Videotorium admin
Kategóriák: Számítógépes matematika, Szoftverfejlesztés
Lejátszási listák: Computer mathematics
Laurent Théry
(szerző)
INRIA Sophia-Antipolis
Felvétel dátuma: 2006-09-20 16:45:00
Feltöltés ideje: 2010-06-23 15:28:45