Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/3-540-60299-2_34 | CP |
Keywords | Field | DocType |
symbolic computation | Symbolic communication,Symbolic-numeric computation,Mathematical optimization,Formal language,Computer science,Symbolic computation,Theoretical computer science,Symbolic trajectory evaluation,Mathematical logic | Conference |
ISBN | Citations | PageRank |
3-540-60299-2 | 0 | 0.34 |
References | Authors | |
1 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bruno Buchberger | 1 | 847 | 168.26 |
| W Bibel | 2 | 0 | 0.34 |
| J Cannon | 3 | 0 | 0.34 |
| B Caviness | 4 | 0 | 0.34 |
| J Davenport | 5 | 0 | 0.68 |
| K Fuchi | 6 | 0 | 0.34 |