16194799
Results 1 to 1 of 1
Selection :
Mathematical libraries as proof assistant environmentsSACERDOTI COEN, Claudio.Lecture notes in computer science. 2004, pp 332-346, issn 0302-9743, isbn 3-540-23029-7, 15 p.Conference Paper