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)
A computable universe : understanding and exploring nature as computation / foreword by Sir Roger Penrose ; rditor Hector Zenil
A computable universe : understanding and exploring nature as computation / foreword by Sir Roger Penrose ; rditor Hector Zenil
Pubbl/distr/stampa New Jersey [etc.] : World Scientific, copyr. 2013
Descrizione fisica XLIV, 810 p. ; 24 cm
Disciplina 511.3
Soggetto topico Teoria della ricorsività
ISBN 978-981-4374-29-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990006007470203316
New Jersey [etc.] : World Scientific, copyr. 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Autore Odifreddi, Piergiorgio
Pubbl/distr/stampa Amsterdam [etc.], : North-Holland, 1992
Descrizione fisica XVII, 668 p. ; 23 cm
Disciplina 511.3
511.35
Collana Studies in logic and the foundations of mathematics
Soggetto topico Teoria della ricorsività
ISBN 0444872957
0444894837
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UBO0045394
Odifreddi, Piergiorgio  
Amsterdam [etc.], : North-Holland, 1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Autore Odifreddi, Piergiorgio
Pubbl/distr/stampa Amsterdam [etc.] : Elsevier, 1989
Descrizione fisica XVII, 668 p. ; 23 cm.
Disciplina 511.35(Logica matematica (Logica simbolica). Teoria della ricorsivita'.)
Soggetto topico Teoria della ricorsività
ISBN 04-448-7295-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0105323
Odifreddi, Piergiorgio  
Amsterdam [etc.] : Elsevier, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Autore Odifreddi, Piergiorgio
Pubbl/distr/stampa Amsterdam [etc.], : Elsevier, 1989
Descrizione fisica XVII, 668 p. ; 23 cm.
Disciplina 511.35(Logica matematica (Logica simbolica). Teoria della ricorsivita'.)
Soggetto topico Teoria della ricorsività
ISBN 04-448-7295-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0105323
Odifreddi, Piergiorgio  
Amsterdam [etc.], : Elsevier, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Dalla macchina di Turing a P/NP / Daniele Mundici
Dalla macchina di Turing a P/NP / Daniele Mundici
Autore MUNDICI, Daniele
Pubbl/distr/stampa MIlano [etc.] : McGraw-Hill, copyr. 2013
Descrizione fisica XIII, 122 p. ; 24 cm
Disciplina 511.3
Collana Collana di istruzione scientifica
Soggetto topico Teoria della ricorsività
ISBN 978-88-386-7402-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-996232448203316
MUNDICI, Daniele  
MIlano [etc.] : McGraw-Hill, copyr. 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Nonlinear dimensionality reduction / John A. Lee, Michel Verleysen
Nonlinear dimensionality reduction / John A. Lee, Michel Verleysen
Autore LEE, John A.
Pubbl/distr/stampa New York : Springer, c2007
Descrizione fisica XVI, 308 p. ; 24 cm
Disciplina 511.35
Altri autori (Persone) VERLEYSEN, Michel
Collana Information science and statistics
Soggetto topico Teoria della ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005549980203316
LEE, John A.  
New York : Springer, c2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Teoria matematica della computazione / Zohar Manna ; [trad. di Pierfranco Peretti]
Teoria matematica della computazione / Zohar Manna ; [trad. di Pierfranco Peretti]
Autore MANNA, Zohar
Pubbl/distr/stampa Torino, : Boringhieri, 1978
Descrizione fisica IX, 451 p. ; 20 cm
Disciplina 004.015 1
Collana Testi e manuali della scienza contemporanea. Serie di informatica
Soggetto topico Elaboratori - Programmazione - Funzioni computabili
Teoria della ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005611250203316
MANNA, Zohar  
Torino, : Boringhieri, 1978
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Theory of recursive functions and effective computability / Hartley Rogers
Theory of recursive functions and effective computability / Hartley Rogers
Autore ROGERS, Hartley <jr.>
Pubbl/distr/stampa New York [etc.] : McGraw-Hill, 1967
Descrizione fisica XIX, 482 p. ; 23 cm
Disciplina 511.3
Collana McGraw-Hill series in higher mathematics
Soggetto topico Teoria della ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001877210203316
ROGERS, Hartley <jr.>  
New York [etc.] : McGraw-Hill, 1967
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui