skip to main content

Logic and Automata

Jörg Flum ; Jörg Flum; Erich Grädel; Erich Grädel; Thomas Wilke

2008

Accessible en ligne

  • Titre:
    Logic and Automata
  • Auteur: Jörg Flum
  • Autre(s) auteur(s): Jörg Flum; Erich Grädel; Erich Grädel; Thomas Wilke
  • Date de publication: 2008
  • Langue: Anglais
  • Identifiant: ISBN 90-5356-576-0 ;ISBN 90-485-0128-8
  • Source: Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    PSL (ressources électroniques)
    ESPCI Paris (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é