The Dynamics of Adaptive Proofs: a Modal Perspective

Activity: Talk or presentation › Talk or presentation at a conference

PeriodSep 2011
Event title9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011
Event typeConference
LocationKutaisi, Georgia
Degree of RecognitionInternational