Hilbert's tenth problem (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Hilbert's tenth problemhttps://catalogue-scientifique.canada.ca/record=1581846~S6*frcRechercher Mati︠i︡asevich, ︠I︡U. V; Rechercher Matiyasevic, Yuri VMIT Press, 1993, ISBN : 0262132958Livre
First St. Petersburg Conference on Days of Logic and Computability (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : First St. Petersburg Conference on Days of Logic and Computabilityhttps://catalogue-scientifique.canada.ca/record=1963095~S6*frcRechercher Matiyasevich, YuriNorth-Holland, 2002Actes de conférence