Mechanical geometry theorem proving

Documenti analoghi

• Symbolic, logic and mechanical theorem proving
  di: Chang, Chin-Liang
  Pubblicazione: (1973)
• Comparison theorems in riemannian geometry /
  di: Cheeger, Jeff
  Pubblicazione: (1975)
• Symbolic logic and mechanical theorem proving /
  di: Chang, Chin-lidng
  Pubblicazione: (1973)
• Atitah singer index theorem
  di: Mukherjee, Amiya
  Pubblicazione: (2013)
• Symplectic geometry and quantum mechanics
  di: Gosson, Maurice de
  Pubblicazione: (2000)