Wideo wykłady
-
Ku inteligentnym systemom informacyjnym cz.1
prof. dr hab. inż. Mieczysław MuraszkiewiczPolitechnika Warszawska -
Ku inteligentnym systemom informacyjnym cz.2
prof. dr hab. inż. Mieczysław MuraszkiewiczPolitechnika Warszawska -
Logiczne podejście do reprezentacji wiedzy w sztucznej inteligencji
Halina PrzymusińskaUniversity of California -
Mechaniczne Dowodzenie Twierdzeń
Teodor PrzymusińskiUniversity of California -
Metody matematyczne w semantyce języków programowania cz.1
dr Paweł WaszkiewiczUniwersytet Jagielloński -
Metody matematyczne w semantyce języków programowania cz.2
dr Paweł WaszkiewiczUniwersytet Jagielloński