skip to main content

Theory Reasoning in Connection Calculi

Peter Baumgartner

Springer Berlin Heidelberg, 1998

Accessible en ligne

  • Titre:
    Theory Reasoning in Connection Calculi
  • Auteur: Peter Baumgartner
  • Éditeur: Springer Berlin Heidelberg
  • Date de publication: 1998
  • Langue: Anglais
  • Identifiant: ISBN 3-540-65509-3 ;ISBN 3-540-49210-0
  • Source: Mines ParisTech (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)
    Observatoire de 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é