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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 |
LOGICA MATEMATICA - CONGRESSI - 1992
INFORMATICA - 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 | ||
| ||
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 | 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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
