skip to main content

Conditional And Preferential Logics: Proof Methods And Theorem Proving

G.L Pozzato

Amsterdam IOS Press, 2010

Accessible en ligne

  • Titre:
    Conditional And Preferential Logics: Proof Methods And Theorem Proving
  • Auteur: G.L Pozzato
  • Éditeur: Amsterdam IOS Press
  • Date de publication: 2010
  • Langue: Anglais
  • Identifiant: ISBN1-60750-094-9;ISBN6612600764;ISBN9786612600760;ISBN1-60750-095-7;ISBN1-282-60076-1
  • Source: Dauphine (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (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é