m

Documents  Strassen, Volker | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 217 p.
ISBN 978-3-540-07805-0

Lecture notes in computer science , 0043

Localisation : Collection 1er étage

complexité informatique # logique informatique # machine de turing # théorème de Godel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 397 p.
ISBN 978-3-7643-2408-7

Localisation : Oeuvres complètes RdC (SPEC)

Specker # algorithmique # analyse # analyse récursive # arithmétique # axiomatique # biographie # calcul des projections # combinatoire # complexité # espace # fondement des mathématiques # groupe # groupe additif # groupe de cohomologie # logique mathématique # oeuvres complètes # problème d'énumérations # problème de Sirkorski # théorie des nombres # variété de dimension 3 # oeuvres complètes

01A60 ; 01A70 ; 01A75 ; 03-03 ; 03Bxx

... Lire [+]

Z