Machine proofs in geometry : automated production of readable proofs for geometry theorems
Author(s)
Bibliographic Information
Machine proofs in geometry : automated production of readable proofs for geometry theorems
（Series on applied mathematics, v. 6）
World Scientific, c1994
Available at / 14 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc20:516/c4572070300402
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
