An examination of a decision procedure
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Providence (R.I.) :
American mathematical society
C 1962.
|
| Col·lecció: | Memoirs of the American Mathematical Society
44 |
| Matèries: | |
| Nota: |
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 |