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.
A Course on Integral Equations / Allen C. Pipkin
| A Course on Integral Equations / Allen C. Pipkin |
| Autore | Pipkin, Allen C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1991 |
| Descrizione fisica | XIII, 268 p. ; 25 cm |
| Soggetto topico |
44A10 - Laplace transform [MSC 2020]
45-XX - Integral equations [MSC 2020] 45Bxx - Fredholm integral equations [MSC 2020] 45Dxx - Volterra integral equations [MSC 2020] 45Exx - Singular integral equations [MSC 2020] 45G10 - Other nonlinear integral equations [MSC 2020] |
| Soggetto non controllato |
Analytic functions
Boundary Element Methods Equations Functions Integral equations Integrals Mathematics Problem Solving Proving Requirement Theorem proving Variables |
| ISBN | 978-03-87975-57-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00036776 |
Pipkin, Allen C.
|
||
| New York, : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course on Integral Equations / Allen C. Pipkin
| A Course on Integral Equations / Allen C. Pipkin |
| Autore | Pipkin, Allen C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1991 |
| Descrizione fisica | xiii, 268 p. ; 25 cm |
| Soggetto topico |
44A10 - Laplace transform [MSC 2020]
45-XX - Integral equations [MSC 2020] 45Bxx - Fredholm integral equations [MSC 2020] 45Dxx - Volterra integral equations [MSC 2020] 45Exx - Singular integral equations [MSC 2020] 45G10 - Other nonlinear integral equations [MSC 2020] |
| Soggetto non controllato |
Analytic functions
Boundary Element Methods Equations Functions Integral equations Integrals Mathematics Problem Solving Proving Requirement Theorem proving Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00288616 |
|
Pipkin, Allen C.
|
||
| New York, : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | XVIII, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| ISBN | 978-03-87974-37-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0023437 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A First Course in Real Analysis / Murray H. Protter, Charles B. Morrey, Jr
| A First Course in Real Analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | xviii, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B., jr. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00288640 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A First Course in Real Analysis / Murray H. Protter, Charles B. Morrey, Jr
| A First Course in Real Analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1991 |
| Descrizione fisica | XVIII, 534 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B., jr. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A24 - Differentiation (real functions of one variable): general theory, generalized derivatives, mean-value theorems [MSC 2020] 26A42 - Integrals of Riemann, Stieltjes and Lebesgue type [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| ISBN | 978-03-87974-37-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00023437 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr
| A first course in real analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xii, 507 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A45 - Functions of bounded variation, generalizations [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] 26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26B05 - Continuity and differentiation questions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268048 |
|
Protter, Murray H.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A First Course in Real Analysis / Murray H. Protter, Charles B. Morrey, Jr
| A First Course in Real Analysis / Murray H. Protter, Charles B. Morrey, Jr |
| Autore | Protter, Murray H. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1977 |
| Descrizione fisica | xii, 507 p. : ill. ; 25 cm |
| Altri autori (Persone) | Morrey, Charles B., jr. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
26A15 - Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable [MSC 2020] 26A45 - Functions of bounded variation, generalizations [MSC 2020] 26B05 - Continuity and differentiation questions [MSC 2020] 26B12 - Calculus of vector functions [MSC 2020] |
| Soggetto non controllato |
Analysis
Boundary Element Methods Calculus Differential calculus Imprint Integral calculus Mathematics Problem Solving Proving Real analysis Real numbers Systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268048 |
|
Protter, Murray H.
|
||
| New York, : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Algorithms, Languages, and Complexity / edited by Ding-Zhu Du, Ker-I Ko
| Advances in Algorithms, Languages, and Complexity / edited by Ding-Zhu Du, Ker-I Ko |
| Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica | xxxiv, 396 p. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Automata Complexity Complexity theory Computation Computational complexity Computer Science Kolmogorov complexity Mathematics Monoid Networks Randomness Theorem proving Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297689 |
| Dordrecht [etc.], : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249404 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
