LEADER 01434nas a2200337 i 4500
001 991002637259707536
005 20231114121054.0
008 011205m19749999it ||         |    |ita  
022   $a0390-2439
035   $ab11687101-39ule_inst
035   $aPERLE004290$9ExL
080   $aCDU 02
080   $aCDU 002
080   $aCDU 681.3
229  0$aInformatica e documentazione
245 00$aInformatica e documentazione /$cIstituto per lo Sviluppo e la Gestione Avanzata dell'Informazione. - 1974-
260   $aRoma,$c1974-
500   $aHa come supplemento: Informatica e documentazione. Supplementi
591   $aCodice CNR: P 00046132
592   $aLE002 1974-1997;
592   $aLE005 1974-1983; lac.: 1974-1983;
592   $aLE026 1977;1981-1987; lac.: 1977;1981-1983;1985;1987;
710 2 $aIstituto per lo Sviluppo e la Gestione Avanzata dell'Informazione$eauthor$4http://id.loc.gov/vocabulary/relators/aut$01358747
907   $a.b11687101$b25-09-07$c08-07-02
912   $a991002637259707536
945   $aLE005$g1$lle005$o-$pE0.00$q-$rn$so  $t18$u0$v0$w0$x0$y.i11916722$z08-07-02
945   $aLE026$g1$lle026$o-$pE0.00$q-$rn$s-  $t18$u0$v0$w0$x0$y.i11916734$z08-07-02
945   $aLE002 SP 020$g1$lle002$o-$pE0.00$q-$rn$so  $t18$u0$v0$w0$x0$y.i11916710$z08-07-02
996   $aInformatica e documentazione$93370859
997   $aUNISALENTO
998   $ale005$ale026$ale002$b01-01-01$cs$da  $e-$fita$git $h0$i3

LEADER 02665nam  2200517   450 
001 9910828784203321
005 20230208211346.0
010   $a0-8218-9988-0
035   $a(CKB)3360000000464003
035   $a(EBL)3113683
035   $a(SSID)ssj0000973481
035   $a(PQKBManifestationID)11948250
035   $a(PQKBTitleCode)TC0000973481
035   $a(PQKBWorkID)10984433
035   $a(PQKB)10174736
035   $a(MiAaPQ)EBC3113683
035   $a(RPAM)0000000676
035   $a(PPN)195409264
035   $a(EXLCZ)993360000000464003
100   $a20750505d1962      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aAn examination of a decision procedure /$fFrancis C. Oglesby
210  1$aProvidence, R.I. :$cAmerican Mathematical Society,$d1962.
215   $a1 online resource (152 pages)
225 1 $aMemoirs of the American Mathematical Society ;$vnumber 44
300   $aCover title.
311 0 $a0-8218-1244-0 
320   $aBibliography: pages 148.
327   $a""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""""A? 6. Distributive Normal Forms""""A? 7. Kernels of Second Degree Constituents of First Order""; ""A? 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""A? 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""A? 10. SP and the Class I??"" ""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""; ""A? 17. MSP* and NP Zero Order Constituents of Type 0""; ""A? 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY""
410  0$aMemoirs of the American Mathematical Society ;$v44.
606   $aLogic, Symbolic and mathematical
606   $aPredicate calculus
615  0$aLogic, Symbolic and mathematical.
615  0$aPredicate calculus.
700   $aOglesby$b Francis C.$01693971
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910828784203321
996   $aAn examination of a decision procedure$94072160
997   $aUNINA