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.
2010 40th IEEE International Symposium on Multiple-Valued Logic
| 2010 40th IEEE International Symposium on Multiple-Valued Logic |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
| Descrizione fisica | 1 online resource (338 pages) |
| Disciplina | 511.3 |
| Soggetto topico | Many-valued logic |
| ISBN | 1-4244-6753-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996217176003316 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 40th IEEE International Symposium on Multiple-Valued Logic
| 2010 40th IEEE International Symposium on Multiple-Valued Logic |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
| Descrizione fisica | 1 online resource (338 pages) |
| Disciplina | 511.3 |
| Soggetto topico | Many-valued logic |
| ISBN | 1-4244-6753-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140658603321 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
33rd International Symposium on Multiple-Valued Logic : proceedings : 16-19, May 2003, Meiji University, Tokyo, Japan
| 33rd International Symposium on Multiple-Valued Logic : proceedings : 16-19, May 2003, Meiji University, Tokyo, Japan |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2003 |
| Soggetto topico |
Many-valued logic
Switching theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198708703316 |
| [Place of publication not identified], : IEEE Computer Society, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
33rd International Symposium on Multiple-Valued Logic : proceedings : 16-19, May 2003, Meiji University, Tokyo, Japan
| 33rd International Symposium on Multiple-Valued Logic : proceedings : 16-19, May 2003, Meiji University, Tokyo, Japan |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2003 |
| Soggetto topico |
Many-valued logic
Switching theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872934103321 |
| [Place of publication not identified], : IEEE Computer Society, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic foundations of many-valued reasoning / Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, and Daniele Mundici
| Algebraic foundations of many-valued reasoning / Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, and Daniele Mundici |
| Autore | Cignoli, Roberto |
| Pubbl/distr/stampa | Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2000 |
| Descrizione fisica | ix, 231 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
D'Ottaviano, Itala M. L.
Mundici, Daniele |
| Collana | Trends in logic ; 7 |
| Soggetto topico |
Many-valued logic
Proposition (Logic) |
| ISBN | 0792360095 |
| Classificazione |
AMS 03G20
LC QA9.45.C54 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000646059707536 |
Cignoli, Roberto
|
||
| Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra
| Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | ix, 170 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides |
| Soggetto topico |
Intuitionistic mathematics
Many-valued logic Sequences |
| ISBN | 019853163X |
| Classificazione |
AMS 03B50
AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000741689707536 |
|
Troelstra, A. S.
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / / Merrie Bergmann [[electronic resource]]
| An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / / Merrie Bergmann [[electronic resource]] |
| Autore | Bergmann Merrie |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2008 |
| Descrizione fisica | 1 online resource (xii, 329 pages) : digital, PDF file(s) |
| Disciplina | 511.3/13 |
| Soggetto topico |
Fuzzy logic
Many-valued logic |
| ISBN |
1-107-18491-6
0-511-80112-2 0-511-64957-6 0-511-37645-6 0-511-57418-5 0-511-37739-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Review of classical propositional logic -- Review of classical first-order logic -- Alternative semantics for truth-values and truth-functions : numeric truth-values and abstract algebras -- Three-valued propositional logics : semantics -- Derivation systems for three-valued propositional logic -- Three-valued first-order logics : semantics -- Derivation systems for three-valued first-order logics -- Alternative semantics for three-valued logic -- The principle of charity reconsidered and a new problem of the fringe -- Fuzzy propositional logics : semantics -- Fuzzy algebras -- Derivation systems for fuzzy propositional logics -- Fuzzy first-order logics : semantics -- Derivation systems for fuzzy first-order logics -- Extensions of fuzziness -- Fuzzy membership functions. |
| Altri titoli varianti | An Introduction to Many-Valued & Fuzzy Logic |
| Record Nr. | UNINA-9910454419603321 |
|
Bergmann Merrie
|
||
| Cambridge : , : Cambridge University Press, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / / Merrie Bergmann [[electronic resource]]
| An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / / Merrie Bergmann [[electronic resource]] |
| Autore | Bergmann Merrie |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2008 |
| Descrizione fisica | 1 online resource (xii, 329 pages) : digital, PDF file(s) |
| Disciplina | 511.3/13 |
| Soggetto topico |
Fuzzy logic
Many-valued logic Lògica borrosa Lògica multivalent |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
1-107-18491-6
0-511-80112-2 0-511-64957-6 0-511-37645-6 0-511-57418-5 0-511-37739-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Review of classical propositional logic -- Review of classical first-order logic -- Alternative semantics for truth-values and truth-functions : numeric truth-values and abstract algebras -- Three-valued propositional logics : semantics -- Derivation systems for three-valued propositional logic -- Three-valued first-order logics : semantics -- Derivation systems for three-valued first-order logics -- Alternative semantics for three-valued logic -- The principle of charity reconsidered and a new problem of the fringe -- Fuzzy propositional logics : semantics -- Fuzzy algebras -- Derivation systems for fuzzy propositional logics -- Fuzzy first-order logics : semantics -- Derivation systems for fuzzy first-order logics -- Extensions of fuzziness -- Fuzzy membership functions. |
| Altri titoli varianti | An Introduction to Many-Valued & Fuzzy Logic |
| Record Nr. | UNINA-9910782699303321 |
|
Bergmann Merrie
|
||
| Cambridge : , : Cambridge University Press, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / / Merrie Bergmann
| An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / / Merrie Bergmann |
| Autore | Bergmann Merrie |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge ; ; New York, : Cambridge University Press, 2008 |
| Descrizione fisica | 1 online resource (xii, 329 pages) : digital, PDF file(s) |
| Disciplina | 511.3/13 |
| Soggetto topico |
Fuzzy logic
Many-valued logic Lògica borrosa Lògica multivalent |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
1-107-18491-6
0-511-80112-2 0-511-64957-6 0-511-37645-6 0-511-57418-5 0-511-37739-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Review of classical propositional logic -- Review of classical first-order logic -- Alternative semantics for truth-values and truth-functions : numeric truth-values and abstract algebras -- Three-valued propositional logics : semantics -- Derivation systems for three-valued propositional logic -- Three-valued first-order logics : semantics -- Derivation systems for three-valued first-order logics -- Alternative semantics for three-valued logic -- The principle of charity reconsidered and a new problem of the fringe -- Fuzzy propositional logics : semantics -- Fuzzy algebras -- Derivation systems for fuzzy propositional logics -- Fuzzy first-order logics : semantics -- Derivation systems for fuzzy first-order logics -- Extensions of fuzziness -- Fuzzy membership functions. |
| Record Nr. | UNINA-9910813920403321 |
|
Bergmann Merrie
|
||
| Cambridge ; ; New York, : Cambridge University Press, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISMVL : 2019 IEEE 49th International Symposium on Multiple-Valued Logic : proceedings : 21-23 May 2019, Fredericton, New Brunswick, Canada / / Institute of Electrical and Electronics Engineers
| ISMVL : 2019 IEEE 49th International Symposium on Multiple-Valued Logic : proceedings : 21-23 May 2019, Fredericton, New Brunswick, Canada / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2019 |
| Descrizione fisica | 1 online resource (211 pages) |
| Disciplina | 511.3 |
| Soggetto topico | Many-valued logic |
| ISBN | 1-7281-0092-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910330757203321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Many-valued logic
(34)
- Switching theory (14)
- Threshold logic (4)
- Fuzzy logic (3)
- Logique multivalente (2)