skip to main content

Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford

Springer Berlin Heidelberg, 1980

Accessible en ligne

  • Titre:
    Using Sophisticated Models in Resolution Theorem Proving
  • Auteur: David M. Sandford
  • Éditeur: Springer Berlin Heidelberg
  • Date de publication: 1980
  • Langue: Anglais
  • Identifiant: ISBN 3-540-10231-0 ;ISBN 3-540-38306-9
  • Source: ESPCI Paris (ressources électroniques)
    Observatoire de Paris (ressources électroniques)
    Collège de France (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    Dauphine (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é