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.
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / Anil Nerode, Noam Greenberg
| Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut / Anil Nerode, Noam Greenberg |
| Autore | Nerode, Anil <1932- > |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 450 p. : ill. ; 24 cm |
| Altri autori (Persone) | Greenberg, Noam |
| Soggetto non controllato |
Algebraic curves
Complex Analysis Elliptic curves Elliptic functions Manifolds Path Integrals Riemann surfaces uniformization of elliptic curves |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276831 |
Nerode, Anil <1932- >
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode
| Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode |
| Autore | Khoussainov, Bakhadyr |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 2001 |
| Descrizione fisica | XIV, 430 p. ; 24 cm. |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-17-64207-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055596 |
|
Khoussainov, Bakhadyr
|
||
| Boston [etc.], : Birkhäuser, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode
| Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode |
| Autore | Khoussainov, Bakhadyr |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 2001 |
| Descrizione fisica | XIV, 430 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico | 68Qxx - Theory of computing [MSC 2020] |
| ISBN | 08-17-64207-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055596 |
|
Khoussainov, Bakhadyr
|
||
| Boston [etc.], : Birkhäuser, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255990 |
|
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| 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 | ||
| ||
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.]
| Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1993 |
| Descrizione fisica | XII, 813 p. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 08-17-63690-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056980 |
| Boston, : Birkhäuser, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.]
| Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1993 |
| Descrizione fisica | XII, 813 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| ISBN | 08-17-63690-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056980 |
| Boston, : Birkhäuser, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||