Personal information

Activities

Collapse all

Funding (1)

Rozwój interaktywnego dowodzenia twierdzeń w systemie Mizar

2017-09 to 2018-08 | Grant
Narodowe Centrum Nauki (Warsaw, PL)
GRANT_NUMBER:

2017/01/X/ST6/00012
Source: Self-asserted source
Adam Naumowicz
How many people are using ORCID?