Scimago Journal & Country Rank
menu
| Title | Type |  SJR |
H index | Total Docs. (2008) | Total Docs. (3years) | Total Refs. (2008) | Total Cites (3years) | Citable Docs. (3years) | Cites / Doc. (2years) | Ref. / Doc. (2008) | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 | conference and proceedings | 0.101 | 1 | 0 | 16 | 0 | 0 | 14 | 0.00 | 0.00 |  |
Powered by:
Follow us on @ScimagoJR
Scimago Lab, Copyright 2007-2022. Data Source: Scopus®
Download data