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

Documents (Mots clés)

• [MathOuvrage] Ontic: a knowledge representation system for mathematics / McAllester, David A.. -Cambridge MA : The MIT press, 1989. - xvi, 158 p. ; 24 cm
  ISBN 9780262132350
  
• [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