TY - BOOK ID - 127813122 TI - Mechanical theorem proving in geometries : basic principles AU - Wu, Wen-tsün AU - Jin, Xiaofan AU - Wang, Dongming PY - 1994 SN - 3211825061 PB - Wien : Springer, DB - UniCat KW - Automatic theorem proving. KW - Geometry KW - Data processing. UR - https://www.unicat.be/uniCat?func=search&query=sysid:127813122 AB - ER -