03418nas 2201045-a 450 99621597240331620230227213019.01097-4571(DE-599)ZDB1473755-3(OCoLC)38145339(CKB)954921334028(CONSER)sn-97001344-(EXLCZ)9995492133402819971231b19702000 s-- aengurcnu||||||||txtrdacontentcrdamediacrrdacarrierJournal of the American Society for Information ScienceNew York, NY John Wiley & Sons-2000Refereed/Peer-reviewed0002-8231 JASISJ AM SOC INF SCIJ AMER SOC INFORM SCIJ AM SOC INFORM SCIJ AM S INFOAMERICAN SOCIETY FOR INFORMATION SCIENCE JOURNALJASISTJ. Am. Soc. Inf. Sci.Information sciencePeriodicalsDocumentationPeriodicalsLibrary scienceDocumentationInformation servicesInformation storage and retrieval systemsPeriodicalsInformation servicesPeriodicalsLibrary ScienceDocumentationInformation ServicesInformation ScienceDocumentationPériodiquesSystèmes d'informationPériodiquesServices d'informationPériodiquesSciences de l'informationPériodiquesBibliothéconomieDocumentationServices d'informationlibrary scienceaatdocumentation (activity)aatLibrary & Information ScienceebpsLibrary sciencefast(OCoLC)fst00997916Information storage and retrieval systemsfast(OCoLC)fst00972781Information servicesfast(OCoLC)fst00972696Documentationfast(OCoLC)fst00896108Information sciencefast(OCoLC)fst00972640Periodicals.fastInformation scienceDocumentationLibrary science.Documentation.Information services.Information storage and retrieval systemsInformation servicesLibrary ScienceDocumentationInformation ServicesInformation ScienceDocumentationSystèmes d'informationServices d'informationSciences de l'informationBibliothéconomie.Documentation.Services d'information.library science.documentation (activity)Library & Information Science.Library science.Information storage and retrieval systems.Information services.Documentation.Information science.020American Society for Information Science.JOURNAL996215972403316Journal of the American Society for Information Science1986980UNISA01927nam0 22004573i 450 VAN0026146920240806101505.556N978354035197920230717d1979 |0itac50 baengDE|||| |||||ˆThe ‰Computational Complexity of Logical TheoriesJ. Ferrante, C. W. RackoffBerlinSpringer1979xii, 244 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer71803-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03D10Turing machines and related notions [MSC 2020]VANC037606MF03D15Complexity of computation [MSC 2020]VANC023630MFAdditionKW:KComplexityKW:KComputationKW:KComputational complexityKW:KFunctionsKW:KGamesKW:KLogicKW:KPredicate calculusKW:KShapesKW:KBerlinVANL000066FerranteJeanneVANV21582146752RackoffCharles W.VANV21582246753Springer <editore>VANV108073650ITSOL20250606RICAhttps://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-CE0120VAN08NVAN00261469BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6243 08eMF6243 20230726 Computational complexity of logical theories81115UNICAMPANIA