An examination of a decision procedure
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Providence (R.I.) :
American mathematical society
C 1962.
|
| Collection: | Memoirs of the American Mathematical Society
44 |
| Sujets: | |
| Note: |
Autre tirage: 1971 |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • An examination of a decision procedure, by Francis C. Oglesby, Providence (R.I.), American Mathematical Society, 2012, Memoirs of the American Mathematical Society, 978-0-8218-9988-5 |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Salle de lecture | 837 OGL | Disponible |