Computability in Europe 2006
Logical Approaches to Computational Barriers


:
Preuves et algorithmes dans un contexte algébrique, entre le 9e et le 12e siècle


Speaker: Marouane Ben Miled

Abstract

(TBA)


websites: Arnold Beckmann 2008-05-30