skip to main content

The decision problem : solvable classes of quantificational formulas

Dreben, Burton ; Goldfarb, Warren D. (1949-....)

Reading, Mass. London Amsterdam : Addison-Wesley Pub. Co., Advanced Book Program, 1979

Voir les exemplaires

  • Titre:
    The decision problem : solvable classes of quantificational formulas
  • Auteur: Dreben, Burton
  • Autre(s) auteur(s): Goldfarb, Warren D. (1949-....)
  • Sujets: CALCUL DES PREDICATS;
    LOGIQUE;
    H-INF.TH.
  • Description: Mines : USA .
  • Éditeur: Reading, Mass. London Amsterdam : Addison-Wesley Pub. Co., Advanced Book Program
  • Date de publication: 1979
  • Format: 1 vol. (xii-271 p.) : ill. ; 25 cm
  • Langue: Anglais
  • Identifiant: ISBN 0-201-02540-X
  • Source: Mines ParisTech (catalogue)

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é