Päättelystä argumentteihin Tehokkaiden päättelyjärjestelmien ansiosta vaikeita laskennallisia ongelmia voidaan ratkaista eksaktisti. Palkitussa väitöskirjassa kehitetään automatisoidun päättelyn menetelmiä laskennallisen ar... tekoäly väitöskirjapalkinto Jan 5, 2022