Artur Korniłowicz

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

Affiliation

Uniwersytet w Bialymstoku

Field

informatics

Status

Accepted

Awarding date

Jan. 26, 2017

Reviewers

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