Hyppää pääsisältöön
Tampereen yliopisto
reijo.jaakkola [at] tuni.fi (reijo[dot]jaakkola[at]tuni[dot]fi)

Tutkimuskohteet

Fragments and extensions of first-order logic, Logic in AI

Tieteenalat

Mathematical logic, Theoretical computer science, Machine learning