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