skip to main content

Proof Technology and Computation

NATO Advanced Study Institute on Proof Technology and Computation ; H Schwichtenberg; Helmut Schwichtenberg; Katharina Spies

Amsterdam IOS Press, 2006

Accessible en ligne

  • Titre:
    Proof Technology and Computation
  • Auteur: NATO Advanced Study Institute on Proof Technology and Computation
  • Autre(s) auteur(s): H Schwichtenberg; Helmut Schwichtenberg; Katharina Spies
  • Éditeur: Amsterdam IOS Press
  • Date de publication: 2006
  • Langue: Anglais
  • Identifiant: ISBN1-58603-625-4;ISBN661054767X;ISBN9786610547678;ISBN1-4237-9755-8;ISBN1-60750-180-5;ISBN600-00-0528-8;ISBN1-280-54767-7;ISBN1-60129-484-0
  • Source: Dauphine (ressources électroniques)
    PSL (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    Collège de France (ressources électroniques)
    Mines ParisTech (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré