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 |
|