Mechanical geometry theorem proving

Eitemau Tebyg

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