Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathOuvrage] Mechanical geometry theorem proving / Chou, Shang-Ching. -Dordrecht : D. Reidel publishing company, 1988. - xii, 362 p. ; 25 cm
  https://link.springer.com/bookseries/6249