Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-662-44199-2_2 | ICMS |
Field | DocType | Citations |
Computer science,Theoretical computer science,Automation,Mathematical proof,Software,Mathematical software,Calculus | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruno Buchberger | 1 | 847 | 168.26 |