Robust Computer Algebra, Theorem Proving, and Oracle AI.
Saved in:
| Title: | Robust Computer Algebra, Theorem Proving, and Oracle AI. |
|---|---|
| Authors: | Sarma, Gopal P.1, gopal.sarma@emory.edu, Hay, Nick J.2, nnickhay@gmail.com |
| Source: | Informatica (03505596); Dec2017, Vol. 41 Issue 4, p451-461, 11p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03505596 |
|---|
