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)
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm.
Soggetto topico Theory of computing [MSC 2010] 68Qxx
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 01-985369-0-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 978-01-985369-0-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISOB-VAN0064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 978-01-985369-0-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Autore Krajicek, Jan
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica XIV, 343 p. : ill. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 05-214-5205-8
978-05-214-5205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053035
Krajicek, Jan  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Autore Krajicek, Jan
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica XIV, 343 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 05-214-5205-8
978-05-214-5205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053035
Krajicek, Jan  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Complexity of computations and proofs / edited by J. Krajicek
Complexity of computations and proofs / edited by J. Krajicek
Pubbl/distr/stampa Roma, : Aracne, 2003
Descrizione fisica 424 p. ; 22 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
ISBN 978-88-7999-413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0062774
Roma, : Aracne, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Complexity of computations and proofs / edited by J. Krajicek
Complexity of computations and proofs / edited by J. Krajicek
Pubbl/distr/stampa Roma, : Aracne, 2003
Descrizione fisica 424 p. ; 22 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
ISBN 978-88-7999-413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0062774
Roma, : Aracne, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Forcing with random variables and proof complexity / Jan Krajicek
Forcing with random variables and proof complexity / Jan Krajicek
Autore Krajicek, Jan
Pubbl/distr/stampa Cambridge, UK ; New York : Cambridge University Press, 2011
Descrizione fisica xvi, 247 p. : ill. ; 23 cm
Disciplina 511.36
Collana London Mathematical Society lecture note series, 0076-0552 ; 382
Soggetto topico Computational complexity
Random variables
Mathematical analysis
ISBN 9780521154338
Classificazione AMS 03F20
LC QA267.7.K73
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001805339707536
Krajicek, Jan  
Cambridge, UK ; New York : Cambridge University Press, 2011
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui