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.
Biorthogonal systems in Banach spaces / Petr Hâajek ... [et al.]
| Biorthogonal systems in Banach spaces / Petr Hâajek ... [et al.] |
| Pubbl/distr/stampa | New York : Springer, c2008 |
| Descrizione fisica | xviii, 339 p. : ill. ; 24 cm |
| Disciplina | 515.732 |
| Altri autori (Persone) | Hájek, Petr |
| Collana | CMS books in mathematics |
| Soggetto topico |
Banach spaces
Biorthogonal systems |
| ISBN |
9780387689142
0387689141 |
| Classificazione |
AMS 46-02
AMS 46B LC QA322.2.B56 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000512579707536 |
| New York : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
| Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
| Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : Peters, 2000 |
| Descrizione fisica | XV, 540 p. : ill. ; 25 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 15-688-1114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054509 |
| Urbana, : Association for Symbolic Logic ; Natick, : Peters, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
| Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
| Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 |
| Descrizione fisica | XV, 540 p. : ill. ; 25 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 15-688-1114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054509 |
| Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
| Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
| Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 |
| Descrizione fisica | XV, 540 p. : ill. ; 25 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 15-688-1114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00054509 |
| Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
| Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek |
| Autore | Hájek, Petr |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | xvi, 398 p. ; 24 cm |
| Altri autori (Persone) | Havránek, Tomáš |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68T10 - Pattern recognition, speech recognition [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 62-XX - Statistics [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 62A01 - Foundations and philosophical topics in statistics [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Functions Intelligence Mathematical logic Optimization formation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260854 |
Hájek, Petr
|
||
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
| Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek |
| Autore | Hájek, Petr |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | xvi, 398 p. ; 24 cm |
| Altri autori (Persone) | Havránek, Tomáš |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] 62-XX - Statistics [MSC 2020] 62A01 - Foundations and philosophical topics in statistics [MSC 2020] 68-XX - Computer science [MSC 2020] 68T10 - Pattern recognition, speech recognition [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Functions Intelligence Mathematical logic Optimization formation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00260854 |
|
Hájek, Petr
|
||
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mechanizing hypothesis formation : mathematical foundations for a general theory / P. Hájek, T. Havránek
| Mechanizing hypothesis formation : mathematical foundations for a general theory / P. Hájek, T. Havránek |
| Autore | Hájek, Petr |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1978 |
| Descrizione fisica | xv, 396 p. : ill. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Havránek, Tomas |
| Collana | Universitext |
| Soggetto topico |
Automatic hypothesis formation
Mechanization of proofs and logical operations |
| ISBN | 3540087389 |
| Classificazione | AMS 03B35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001134529707536 |
|
Hájek, Petr
|
||
| Berlin : Springer-Verlag, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
| Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák |
| Autore | Hájek, Petr |
| Edizione | [Second printing] |
| Pubbl/distr/stampa | Berlin, : Springer, 1998 |
| Descrizione fisica | XIV, 460 p. ; 24 cm. |
| Altri autori (Persone) | Pudlák, Pavel |
| Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
11U09 - Model theory (number-theoretic aspects) [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 11U10 - Nonstandard arithmetic (number-theoretic aspects) [MSC 2020] |
| ISBN | 35-406-3648-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052028 |
|
Hájek, Petr
|
||
| Berlin, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
| Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák |
| Autore | Hájek, Petr |
| Edizione | [Second printing] |
| Pubbl/distr/stampa | Berlin, : Springer, 1998 |
| Descrizione fisica | XIV, 460 p. ; 24 cm |
| Altri autori (Persone) | Pudlák, Pavel |
| Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
11U09 - Model theory (number-theoretic aspects) [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 11U10 - Nonstandard arithmetic (number-theoretic aspects) [MSC 2020] |
| ISBN | 35-406-3648-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052028 |
|
Hájek, Petr
|
||
| Berlin, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák
| Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák |
| Autore | Hájek, Petr |
| Edizione | [Second printing] |
| Pubbl/distr/stampa | Berlin, : Springer, 1998 |
| Descrizione fisica | XIV, 460 p. ; 24 cm |
| Altri autori (Persone) | Pudlák, Pavel |
| Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 11U09 - Model theory (number-theoretic aspects) [MSC 2020] 11U10 - Nonstandard arithmetic (number-theoretic aspects) [MSC 2020] |
| ISBN | 35-406-3648-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052028 |
|
Hájek, Petr
|
||
| Berlin, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
