Details:
| Title | Geometric theorem proving by integrated logical and algebraic reasoning | | Author(s) | Takashi Matsuyama, Tomoaki Nitta | | Type | Article in Journal | | Abstract | | | Length | 21 | | Copyright | Elsevier Science B.V. |
| File |
| | URL |
doi:10.1016/0004-3702(94)00064-8 |
| Language | English | | Journal | Artificial Intelligence | | Volume | 75 | | Number | 1 | | Pages | 93 - 113 | | Year | 1995 | | Month | May | | Translation |
No | | Refereed |
No |
|
