Menu
Wydziały
Instytut Informatyki UwB > Wszystkie Aktualności > Aktualności > Seminarium „Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji”

Seminarium „Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji”

03.12.2013

Dyrekcja Instytutu Informatyki oraz organizatorzy seminarium serdecznie zapraszają pracowników i studentów na seminarium pt.:

„Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji”

Seminarium odbędzie się 18.XII.2013 r. o godz. 14.15 w sali 206 (ul. Sosnowa 64)

Referat wygłosi dr Karol Pąk

Kontrast A+ A-