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)
Computabilità, complessità, logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Börger
Computabilità, complessità, logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Börger
Autore Börger, Egon
Pubbl/distr/stampa Torino : Bollati Boringhieri, 1989-
Descrizione fisica v. ; 24 cm
Disciplina 511.8
Collana Testi e manuali della scienza contemporanea. Serie di informatica
Soggetto non controllato Calcolo numerico
ISBN 88-339-5434-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto v. 1: Teoria della computazione
Titolo uniforme
Record Nr. UNIPARTHENOPE-000018898
Börger, Egon  
Torino : Bollati Boringhieri, 1989-
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Computation and proof theory [e-book] : proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part II / edited by Egon Börger ... [et al.]
Computation and proof theory [e-book] : proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part II / edited by Egon Börger ... [et al.]
Pubbl/distr/stampa Berlin : Springer, 1984
Descrizione fisica 1 online resource (viii, 475 p.)
Disciplina 511.3
Altri autori (Persone) Börger, Egon
Collana Lecture Notes in Mathematics, 0075-8434 ; 1104
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540391197
Classificazione AMS 03D
AMS 03F
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002203129707536
Berlin : Springer, 1984
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computer science logic : 7. workshop, CSL '93 : Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Borger, Yuri Gurevich, Karl Meinke (eds.)
Computer science logic : 7. workshop, CSL '93 : Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Borger, Yuri Gurevich, Karl Meinke (eds.)
Autore Workshop on computer science logic : <7. : ; 1993
Pubbl/distr/stampa Berlin [etc.], : Springer, 1994
Descrizione fisica VIII, 336 p. ; 24 cm
Disciplina 004
004.015113
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1993
Logica matematica - Congressi - 1993
ISBN 0387582770
3540582770
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10007835
Workshop on computer science logic : <7. : ; 1993  
Berlin [etc.], : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Computer science logic : 6. workshop, CSL '92 : San Miniato, Italy, September 28-October 2, 1992 : proceedings / E. Borger ... [et al.] (eds.)
Computer science logic : 6. workshop, CSL '92 : San Miniato, Italy, September 28-October 2, 1992 : proceedings / E. Borger ... [et al.] (eds.)
Autore Workshop on computer science logic : <6. : ; 1992
Pubbl/distr/stampa Berlin [etc.], : Springer, 1993
Descrizione fisica VIII, 439 p. ; 25 cm
Disciplina 004
004.015113
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1992
Logica matematica - Congressi - 1992
ISBN 0387569928
3540569928
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10003073
Workshop on computer science logic : <6. : ; 1992  
Berlin [etc.], : Springer, 1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Computer science logic : 5. workshop, CSL '91 : Berne, Switzerland, October 7-11, 1991 : proceedings / E. Borger ... [et al.] (eds.)
Computer science logic : 5. workshop, CSL '91 : Berne, Switzerland, October 7-11, 1991 : proceedings / E. Borger ... [et al.] (eds.)
Autore Workshop on computer science logic : <5. : ; 1991
Pubbl/distr/stampa Berlin [etc.], : Springer, 1992
Descrizione fisica VIII, 428 p. ; 25 cm
Disciplina 004
004.015113
Collana Lecture notes in computer science
Soggetto topico Informatica - Congressi - 1991
Logica matematica - Congressi - 1991
ISBN 038755789X
354055789X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10013506
Workshop on computer science logic : <5. : ; 1991  
Berlin [etc.], : Springer, 1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Part 2.: Computation and Proof Theory / edited by Egon Börger ... [et al.]
Part 2.: Computation and Proof Theory / edited by Egon Börger ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica x, 482 p. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020]
Soggetto non controllato Computation
Equations
Equivalence
Finite
Mathematical logic
Mathematics
Proof Theory
Proofs
Recursion
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN0263395
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Part 2.: Computation and Proof Theory / edited by Egon Börger ... [et al.]
Part 2.: Computation and Proof Theory / edited by Egon Börger ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica x, 482 p. ; 24 cm
Soggetto topico 00Bxx - Conference proceedings and collections of articles [MSC 2020]
68-XX - Computer science [MSC 2020]
Soggetto non controllato Computation
Equations
Equivalence
Finite
Mathematical logic
Mathematics
Proof Theory
Proofs
Recursion
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN00263395
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich
The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich
Autore Börger, Egon
Pubbl/distr/stampa Berlin [etc.] : Springer, c1997
Descrizione fisica XII, 482 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Grädel, Erich
Gurevich, Yuri
Collana Perspectives in Mathematical Logic
Soggetto topico Logica matematica
ISBN 3-540-57073-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000016656
Börger, Egon  
Berlin [etc.] : Springer, c1997
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
Autore Börger, Egon
Pubbl/distr/stampa Berlin, : Springer, 1997
Descrizione fisica XII, 482 p : ill ; 24 cm.
Altri autori (Persone) Grädel, Erich
Gurevich, Yuri
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 03-87570-73-X
978-35-405-7073-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053137
Börger, Egon  
Berlin, : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
Autore Börger, Egon
Pubbl/distr/stampa Berlin, : Springer, 1997
Descrizione fisica XII, 482 p : ill ; 24 cm
Altri autori (Persone) Grädel, Erich
Gurevich, Yuri
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 03-87570-73-X
978-35-405-7073-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053137
Börger, Egon  
Berlin, : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui