Bilkent ACM SIGART (Special
Interest Group on Artificial Intelligence)
& Bilkent University Computer
Eng. & Info. Science Dept.,
Seminar,
by
Abstract: I show how resolution and related ideas have since 1965 been exploited to implement powerful theorem proving programs, and I give several examples of theorems that have been proved in this way by a computer.
Wednesday, 30th April. 1997 at 15:40 Room: FB309 (Fine Arts. Building)
Everyone Welcome