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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 127433939 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Robust Computer Algebra, Theorem Proving, and Oracle AI. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Sarma%2C+Gopal+P%2E%22">Sarma, Gopal P.</searchLink><relatesTo>1</relatesTo>, <i>gopal.sarma@emory.edu</i><br /><searchLink fieldCode="AU" term="%22Hay%2C+Nick+J%2E%22">Hay, Nick J.</searchLink><relatesTo>2</relatesTo>, <i>nnickhay@gmail.com</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Informatica+%2803505596%29%22">Informatica (03505596)</searchLink>; Dec2017, Vol. 41 Issue 4, p451-461, 11p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=127433939 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 11 StartPage: 451 Titles: – TitleFull: Robust Computer Algebra, Theorem Proving, and Oracle AI. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Sarma, Gopal P. – PersonEntity: Name: NameFull: Hay, Nick J. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec2017 Type: published Y: 2017 Identifiers: – Type: issn-print Value: 03505596 Numbering: – Type: volume Value: 41 – Type: issue Value: 4 Titles: – TitleFull: Informatica (03505596) Type: main |
| ResultId | 1 |
