Formalisation (Proof-checking)
Owner: Videotorium admin
Categories: Computational mathematics, Software development
Playlists: Computer mathematics
Laurent Théry
(szerző)
INRIA Sophia-Antipolis
Felvétel hossza (en): 01:38:07
Recording date: 2006-09-20 16:45:00
Upload time: 2010-06-23 15:28:45