Mechanical geometry theorem proving

অনুরূপ উপাদানগুলি

• Symbolic, logic and mechanical theorem proving
  অনুযায়ী: Chang, Chin-Liang
  প্রকাশিত: (1973)
• Comparison theorems in riemannian geometry /
  অনুযায়ী: Cheeger, Jeff
  প্রকাশিত: (1975)
• Symbolic logic and mechanical theorem proving /
  অনুযায়ী: Chang, Chin-lidng
  প্রকাশিত: (1973)
• Atitah singer index theorem
  অনুযায়ী: Mukherjee, Amiya
  প্রকাশিত: (2013)
• Symplectic geometry and quantum mechanics
  অনুযায়ী: Gosson, Maurice de
  প্রকাশিত: (2000)