Mechanical geometry theorem proving

Những quyển sách tương tự

• Symbolic, logic and mechanical theorem proving
  Bằng: Chang, Chin-Liang
  Được phát hành: (1973)
• Comparison theorems in riemannian geometry /
  Bằng: Cheeger, Jeff
  Được phát hành: (1975)
• Symbolic logic and mechanical theorem proving /
  Bằng: Chang, Chin-lidng
  Được phát hành: (1973)
• Atitah singer index theorem
  Bằng: Mukherjee, Amiya
  Được phát hành: (2013)
• Symplectic geometry and quantum mechanics
  Bằng: Gosson, Maurice de
  Được phát hành: (2000)