Name
Year | DOI | Venue |
|---|---|---|
2008 | 10.2478/v10037-008-0009-z | Formalized Mathematics |
DocType | Volume | Issue |
Journal | 16 | 1 |
Citations | PageRank | References |
6 | 2.78 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Noboru Endou | 1 | 72 | 28.00 |
| Yasunari Shidama | 2 | 166 | 72.47 |
| Keiko Narita | 3 | 49 | 16.59 |