Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Lista serii konferencji
Seria konferencji
- Pełna nazwa
- Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
- Skrócona nazwa
- ITP
- Dyscypliny ministerialne
-
-
2.3 informatyka techniczna i telekomunikacja
(Dziedzina nauk inżynieryjno-technicznych)
-
6.2 informatyka
(Dziedzina nauk ścisłych i przyrodniczych)
- Punktacja w latach
-
| Rok |
Punkty |
| 2017 |
140 |
| 2018 |
140 |
| 2019 |
140 |
| 2020 |
140 |
| 2021 |
140 |
| 2022 |
140 |
| 2023 |
140 |
- ConferenceSeriesId
- 7482
- MniswId
- 1245
- Profil w PBN
-
otwórz
Konferencje w serii
brak konferencji