01061nam0-22003731i-450-99000810987040332120050510144138.00-387-95055-9000810987FED01000810987(Aleph)000810987FED0100081098720050510d2001----km-y0itay50------baengUS----a---001yyComputability and complexity theorySteven Homer, Alan L. SelmanNew York [etc.]Springerc2001IX, 195 p.24 cmTexts in Computer ScienceWith 17 illustrations.CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificialeHomer,Steven291864Selman,Alan L.294251ITUNINARICAUNIMARCBK9900081098704033218-367D.S.F. 8513FI1FI1Computability and complexity theory757268UNINA02034nam0 22004933i 450 VAN026800520240119024104.938N978146129860120231128d1976 |0itac50 baengUS|||| |||||Algebraic TheoriesErnest G. ManesNew YorkSpringer1976x, 356 p.24 cm001VAN00235792001 Graduate texts in mathematics210 New York [etc.]Springer2618-XXCategory theory; homological algebra [MSC 2020]VANC019745MF08AxxAlgebraic structures [MSC 2020]VANC022419MF18C15Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020]VANC024567MF18C10Theories (e.g., algebraic theories), structure, and semantics [MSC 2020]VANC037151MFAlgebraKW:KAreaKW:KAutomataKW:KAutomata theoryKW:KCategory TheoryKW:KColimitKW:KEquationsKW:KGroupsKW:KInteractionsKW:KMathematicsKW:KNaturalKW:KOptical Character RecognitionKW:KScopeKW:KUSNew YorkVANL000011ManesErnest G.VANV22025148551Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-1-4612-9860-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0268005BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7344 08eMF7344 20231204 Algebraic theories342167UNICAMPANIA