Projects funded by the NCN

Information on the principal investigator and host institution

Host institution [PL]

City/town [PL]

Voivodeship

Principal investigator

Sex

Academic degree/title

Information of the project and the call

Project status

Project ID

Amount awarded (PLN)

Type of call

Call

Research domain

Panel

Keywords

Keywords

Equipment

Name of equipment [PL]

Show only projects involving equipment

Delete all

Search results

1 projects found matching your search criteria :

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy