Artur Korniłowicz

Nowe techniki komputerowej formalizacji i weryfikacji dowodów matematycznych w Mizarze

Afiliacja

Uniwersytet w Bialymstoku

W zakresie

informatyki

Status

Przyznana

Data nadania

26 stycznia 2017

Recenzenci

prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Paweł Urzyczyn (Uniwersytet Warszawski)