02202nam0 22005053i 450 VAN0029885820251211012154.328N978146120635420250926d1999 |0itac50 baengUS|||| |||||i e bcrBounded Queries in Recursion TheoryWilliam I. Gasarch, Georgia A. MartinNew YorkSpringer ; BostonBirkhäuser1999xiii, 353 p.24 cm001VAN000526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser1603-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D10Turing machines and related notions [MSC 2020]VANC037606MF03D15Complexity of computation [MSC 2020]VANC023630MF03D25Recursively (computably) enumerable sets and degrees [MSC 2020]VANC024512MF68Q15Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]VANC028792MFAlgorithmsKW:KComplexityKW:KComputability theoryKW:KComputer ScienceKW:KComputersKW:KNotationKW:KSimulationKW:KUSNew YorkVANL000011BostonVANL000051GasarchWilliam I.VANV2540171849806MartinGeorgia A.VANV0417361849802Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20251212RICAhttps://doi.org/10.1007/978-1-4612-0635-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00298858BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12935 08eMF12935 20251104 Bounded Queries in Recursion Theory4442269UNICAMPANIA