Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Mdtiar

From Zakład Logiki Stosowanej

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Metody dowodzenia twierdzeń i automatyzacja rozumowań 2016-2017

Wykład dla III roku kognitywistyki UAM

Wprowadzenie

Metody dowodzenia twierdzeń i automatyzacja rozumowań 2015-2016

Wykład i konwersatorium dla V roku kognitywistyki UAM

Wykłady

Konwersatoria