42:58duration 42 minutes 58 seconds
Seminars: automated reasoning and reasoning under…
Seminars: automated reasoning and reasoning under uncertainty
In this seminar the topics of automated reasoning and reasoning under uncertainty are covered. This is the initial lecture for the presentation of the seminars of the same topic