Documents (MSC Codes)

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

Linked documents : [4 document(s)]