Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated theorem proving Boolean satisfiability problem Classification Communications Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Strong limit theorems / Lin Zhengyan and Lu Chuanrong
| Strong limit theorems / Lin Zhengyan and Lu Chuanrong |
| Autore | Lin, Zhengyan |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science press, 1992 |
| Descrizione fisica | X, 195 p. : ill. ; 25 cm. |
| Altri autori (Persone) | Lu, Chuanrong |
| Soggetto topico |
60J65 - Brownian motion [MSC 2020]
60-XX - Probability theory and stochastic processes [MSC 2020] 60G17 - Sample path properties [MSC 2020] 60F15 - Strong limit theorems [MSC 2020] |
| ISBN | 978-07-923179-8-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0046991 |
Lin, Zhengyan
|
||
| Dordrecht, : Kluwer ; Beijing, : Science press, 1992 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Strong limit theorems / Lin Zhengyan and Lu Chuanrong
| Strong limit theorems / Lin Zhengyan and Lu Chuanrong |
| Autore | Lin, Zhengyan |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science press, 1992 |
| Descrizione fisica | X, 195 p. : ill. ; 25 cm |
| Altri autori (Persone) | Lu, Chuanrong |
| Soggetto topico |
60J65 - Brownian motion [MSC 2020]
60-XX - Probability theory and stochastic processes [MSC 2020] 60G17 - Sample path properties [MSC 2020] 60F15 - Strong limit theorems [MSC 2020] |
| ISBN | 978-07-923179-8-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0046991 |
Lin, Zhengyan
|
||
| Dordrecht, : Kluwer ; Beijing, : Science press, 1992 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Strong limit theorems / Lin Zhengyan and Lu Chuanrong
| Strong limit theorems / Lin Zhengyan and Lu Chuanrong |
| Autore | Lin, Zhengyan |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science press, 1992 |
| Descrizione fisica | X, 195 p. : ill. ; 25 cm |
| Altri autori (Persone) | Lu, Chuanrong |
| Soggetto topico |
60-XX - Probability theory and stochastic processes [MSC 2020]
60F15 - Strong limit theorems [MSC 2020] 60G17 - Sample path properties [MSC 2020] 60J65 - Brownian motion [MSC 2020] |
| Soggetto non controllato |
Estimator
Gaussian processes Law of large numbers Markov Processes Martingales Mixing Ornstein-Uhlenbeck process Probability Theory Random variables Statistics Variance |
| ISBN | 978-07-923179-8-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00046991 |
Lin, Zhengyan
|
||
| Dordrecht, : Kluwer ; Beijing, : Science press, 1992 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||