01736nas 2200397 n 450 99000899547040332120240229084430.00148-9909000899547FED01000899547(Aleph)000899547FED01000899547CNRP 0008322920161109b19771982km-y0itaa50------baengUSauu--------Journal of the technical councils of ASCE1977-1982New YorkAmerican Society of Civil Engineers.2001Journal of technical topics in civil engineeringJournal of the technical councils of ASCE624624/.05American Society of Civil EngineersITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=55019&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990008995470403321Biblioteca Centrale "F. Gasparini". Facoltà di Ingegneria. Università degli Studi di Napoli "Federico II"1977-1982.dXXa5FINBC FINAGFINBCFINAGJournal of the technical councils of ASCE791491UNINA866-01NA104 Biblioteca Centrale "F. Gasparini". Facoltà di Ingegneria. Università degli Studi di Napoli "Federico II"dXXa5p.le Tecchio,80, 80125 Napoli (NA)0817682190;08176821950817682188itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=55019&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO01924nam0 22004573i 450 VAN026146920231019042610.715N978354035197920230717d1979 |0itac50 baengDE|||| |||||ˆThe ‰Computational Complexity of Logical TheoriesJ. Ferrante, C. W. RackoffBerlinSpringer1979xii, 244 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer71803-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D15Complexity of computation [MSC 2020]VANC023630MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03D10Turing machines and related notions [MSC 2020]VANC037606MFAdditionKW:KComplexityKW:KComputationKW:KComputational complexityKW:KFunctionsKW:KGamesKW:KLogicKW:KPredicate calculusKW:KShapesKW:KBerlinVANL000066FerranteJeanneVANV21582146752RackoffCharles W.VANV21582246753Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0062837E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261469BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6243 08eMF6243 20230726 Computational complexity of logical theories81115UNICAMPANIA