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.
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
| Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor |
| Edizione | [Cham : Springer, 2015] |
| Pubbl/distr/stampa | xii, 318 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0125341 |
| xii, 318 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
| Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xxvi, 576 p. : ill. ; 24 cm |
| Soggetto topico |
68R15 - Combinatorics on words [MSC 2020]
11B85 - Automata sequences [MSC 2020] 20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Bxx - General logic [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] 11K16 - Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. [MSC 2020] |
| Soggetto non controllato |
Amenable groups
Automata Automatic sequences Combinatorics Discrete dynamical systems Group of automata Normal numbers Number theory Numeration systems Symbolic Dynamics Tilings Word combinatorics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124989 |
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
| Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xxvi, 576 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 11B85 - Automata sequences [MSC 2020] 11K16 - Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. [MSC 2020] 20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] 68R15 - Combinatorics on words [MSC 2020] |
| Soggetto non controllato |
Amenable groups
Automata Automatic sequences Combinatorics Discrete dynamical systems Group of automata Normal numbers Number theory Numeration systems Symbolic Dynamics Tilings Word combinatorics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124989 |
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
| Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors |
| Edizione | [Cham : Birkhäuser, 2018] |
| Pubbl/distr/stampa | xxvi, 576 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
68R15 - Combinatorics on words [MSC 2020]
11B85 - Automata sequences [MSC 2020] 20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Bxx - General logic [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] 11K16 - Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124989 |
| xxvi, 576 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory and logic / by Robert R. Stoll
| Set theory and logic / by Robert R. Stoll |
| Autore | Stoll, Robert Roth |
| Pubbl/distr/stampa | New York, : Dover, 1979 |
| Descrizione fisica | XIV, 474 p. : ill. ; 22 cm. |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 978-04-86638-29-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050331 |
Stoll, Robert Roth
|
||
| New York, : Dover, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory and logic / by Robert R. Stoll
| Set theory and logic / by Robert R. Stoll |
| Autore | Stoll, Robert Roth |
| Pubbl/distr/stampa | New York, : Dover, 1979 |
| Descrizione fisica | XIV, 474 p. : ill. ; 22 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 978-04-86638-29-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050331 |
|
Stoll, Robert Roth
|
||
| New York, : Dover, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory and logic / by Robert R. Stoll
| Set theory and logic / by Robert R. Stoll |
| Autore | Stoll, Robert Roth |
| Pubbl/distr/stampa | New York, : Dover, 1979 |
| Descrizione fisica | XIV, 474 p. : ill. ; 22 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020] |
| ISBN | 978-04-86638-29-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00050331 |
|
Stoll, Robert Roth
|
||
| New York, : Dover, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm. |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
