01206nam0-2200409---450-99000028450020331620061214095015.001981123860028450USA010028450(ALEPH)000028450USA01002845020001102d1999----||ita|01-ba------baGEMENGGB||||||||001yyEdda HattatalSnorri Sturlosonedited by Anthony FaulkesLondonViking Society for Northern research1999XXVIII, 169 p.22 cmEdda26509839.61SNORRI,Sturluson439298FAULKES,AnthonyITUNFI990000284500203316VII.1.A. 131(II FG E 5)151334 L.M.II FG E00000518BKUMATAMI4020001102USA01131720001110USA011716PATTY9020010123USA01161220020403USA011636PATRY9020040406USA011620COPAT59020050523USA011302COPAT79020061214USA010950Edda26509UNISA01522nam0-2200445li-450 99000024680020331620180312154631.00-12-206382-10024680USA010024680(ALEPH)000024680USA0100246802001994091994-------y0itay0103----baengUSComputability, complexity and languagesfundamentals of theoretical computer scienceMartin D. Davis, Ron Sigal, ElaineJ. Weyuker2nd edBoston [etc.]Adademic Presscopyr. 1994XVIII, 609 p.ill.24 cm. - (Computer science and scientific computing)complessita' computazionalelinguaggi formaliteoria delle macchine5113Logica simbolica (Logica matematica)Davis,Martin D.745778Sigal,RonWeyuker,Elaine J.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000246800203316511.3 DAV16075/CBS511.300216384BKSCI1994092720001110USA01171520020403USA011633PATRY9020040406USA011618RSIAV69020090420USA011353RSIAV69020090420USA011353RSIAV69020090420USA011354Computability, complexity and languages1487678UNISA