Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
An examination of a decision procedure / / by Francis C. Oglesby
| An examination of a decision procedure / / by Francis C. Oglesby |
| Autore | Oglesby Francis C. |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1962 |
| Descrizione fisica | 1 online resource (152 p.) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Logic, Symbolic and mathematical
Calculus |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-9988-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""Â 1. The First Order Predicate Calculus""; ""Â 2. Validity and Satisfiability""; ""Â 3. The Decision Problem""; ""CHAPTER 2""; ""Â 4. Stanleyf's Procedure""; ""Â 5. SP and the AE Predicate Calculus""; ""CHAPTER 3""; ""Â 6. Distributive Normal Forms""; ""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?""
""Â 11. Ackermann's Suggestion and the Class Î?""""Â 12. A Modification of SP for the Class Î?""; ""CHAPTER 5""; ""Â 13. NP Zero Order Constituents of Types 0 through 6""; ""Â 14. Transformations T[sub(1)] through T[sub(5)]""; ""Â 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; ""Â 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910480762503321 |
Oglesby Francis C.
|
||
| Providence : , : American Mathematical Society, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An examination of a decision procedure / / Francis C. Oglesby
| An examination of a decision procedure / / Francis C. Oglesby |
| Autore | Oglesby Francis C. |
| Pubbl/distr/stampa | Providence, R.I. : , : American Mathematical Society, , 1962 |
| Descrizione fisica | 1 online resource (152 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Logic, Symbolic and mathematical
Predicate calculus |
| ISBN | 0-8218-9988-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910788610103321 |
|
Oglesby Francis C.
|
||
| Providence, R.I. : , : American Mathematical Society, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An examination of a decision procedure / / Francis C. Oglesby
| An examination of a decision procedure / / Francis C. Oglesby |
| Autore | Oglesby Francis C. |
| Pubbl/distr/stampa | Providence, R.I. : , : American Mathematical Society, , 1962 |
| Descrizione fisica | 1 online resource (152 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Logic, Symbolic and mathematical
Predicate calculus |
| ISBN | 0-8218-9988-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910828784203321 |
|
Oglesby Francis C.
|
||
| Providence, R.I. : , : American Mathematical Society, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||