top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Autore Matiiasevich, Iurii V.
Pubbl/distr/stampa Cambridge ; London, : MIT, 1993
Descrizione fisica XXII, 264 p. ; 24 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
11Uxx - Connections of number theory and logic [MSC 2020]
ISBN 02-621-3295-8
978-02-621-3295-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-SUN0052708
Matiiasevich, Iurii V.  
Cambridge ; London, : MIT, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Autore Matiiasevich, Iurii V.
Pubbl/distr/stampa Cambridge ; London, : MIT, 1993
Descrizione fisica XXII, 264 p. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
11Uxx - Connections of number theory and logic [MSC 2020]
ISBN 02-621-3295-8
978-02-621-3295-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0052708
Matiiasevich, Iurii V.  
Cambridge ; London, : MIT, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Autore Matiiasevich, Iurii V.
Pubbl/distr/stampa Cambridge ; London, : MIT, 1993
Descrizione fisica XXII, 264 p. ; 24 cm
Soggetto topico 03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
11Uxx - Connections of number theory and logic [MSC 2020]
68-XX - Computer science [MSC 2020]
ISBN 02-621-3295-8
978-02-621-3295-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00052708
Matiiasevich, Iurii V.  
Cambridge ; London, : MIT, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui