Bilkent ACM SIGART (Special Interest Group on Artificial Intelligence)
& Philosophy Dept. and Cognitive Science Graduate Progamme, METU.

Special talk on,

Formal and Informal Mathematical Reasoning

by

Prof. J. Alan Robinson

Abstract: not available yet...

Thursday, 1st May. 1997 at 14:00 Room: D at the Culture and Convention Centre ( METU )

All interested staff and post-graduate students are welcome.

Tea will be served after the talk.