Yazar
Went Sun Wu
1 cilt bulundu.
Cilt sonuçları
Mechanical theorem proving in geometries
Wu, Wen-tsün., Went Sun Wu, Xiao Fan Jin, Dong Ming Wang · Springer
288 sayfa · 1994
Automatic theorem proving / Data processing / Geometry / Symbolic and mathematical Logic / Algebra