01259nam2-2200385li-450 99000019374020331620180312154721.00-262-13295-80019374USA010019374(ALEPH)000019374USA0100193742001994091993-------y0itay0103----baengUSHilbert's tenth problemYuri V. Matiyasevichwith a foreword by Martin DavisCambridge [etc.]Mit Presscopyr. 1993XXII, 262 p.ill.24 cm00100193752001Foundations of computer scienceAlfred V. Aho, Jeffrey D. Ullmannumeriteoria algebrica512.7Teoria dei numeriMatiyasevich,Yuri V.752888Davis,MartinSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000193740203316512.7 MAT16124/CBS512.700220139BKSCI1994091920001110USA01171320020403USA011627PATRY9020040406USA011614RSIAV69020090511USA011415Hilbert's tenth problem1514321UNISA