16194742
Results 1 to 1 of 1
Selection :
A decision procedure for geometry in CoqNARBOUX, Julien.Lecture notes in computer science. 2004, pp 225-240, issn 0302-9743, isbn 3-540-23017-3, 16 p.Conference Paper