Peter Flach

Logikai programozás - Az intelligens következtetés példákon keresztül