Documents (Codes MSC)

• [Multi angle] New modal operators for constructive mathematics / Auteur de la Conférence Blechschmidt, Ingo. -Marseille : CIRM
  
• [Multi angle] A geometric theory of algorithms / Auteur de la Conférence Seiller, Thomas. -Marseille : CIRM
  
• [Multi angle] Logic and interaction: pragmatics and argumentation theory / Auteur de la Conférence Cantù, Paola. -Marseille : CIRM
  
• [ Post-edited] Une deuxième révolution galiléenne ? / Auteur de la Conférence Dowek, Gilles. CIRM
  

Documents liés : [4 document(s)]