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.
2009 39th International Symposium on Multiple-Valued Logic
| 2009 39th International Symposium on Multiple-Valued Logic |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2009 |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico | Many-valued logic |
| ISBN |
9781509075645
150907564X 9780769536071 0769536077 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145417703321 |
| [Place of publication not identified], : IEEE, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 |
9781424467532
1424467535 |
| 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 | ||
| ||
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL)
| 2013 IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL) |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2013 |
| Descrizione fisica | 1 online resource (xv, 354 pages) : illustrations |
| Disciplina | 511.3 |
| Soggetto topico | Many-valued logic |
| ISBN |
9780769549767
0769549764 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1A: Medical and Health Care Engineering -- Session 1B: Reversible Circuits -- Session 2A: Medical and Wellness Applications -- Session 2B: Logic Design/Switching Theory I -- Session 3A: Clone Theory I -- Session 3B: Circuits I -- Session 4A: Clone Theory II -- Session 4B: Algebra and Logic I -- Session 5A: Algebra and Logic II -- Session 5B: Circuits II -- Session 6A: Logic Design/Switching Theory II -- Session 6B: Algebra and Reversible Circuits. |
| Record Nr. | UNINA-9910133745503321 |
| [Place of publication not identified], : IEEE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland
| 31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2001 |
| Descrizione fisica | 1 online resource (380 pages) |
| Disciplina | 511.3 |
| Soggetto topico |
Many-valued logic
Switching theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proceedings 31st IEEE International Symposium on Multiple-Valued Logic -- Algebras for hazard detection -- A new improved cost-table-based technique for synthesis of 4-valued unary functions implemented using current-mode CMOS circuits -- Dual-rail multiple-valued current-mode VLSI with biasing current sources -- Realization of NMAX and NMIN functions with multi-valued voltage comparators -- An application of multiple-valued logic to test case generation for software system functional testing -- Spectral techniques in binary and multiple-valued switching theory. A review of results in the decade 1991-2000 -- Tunnelling diode technology -- Power efficient inter-module communication for digit-serial DSP architectures in deep-submicron technology -- A 4 digit CMOS quaternary to analog converter with current switch and neuron MOS down-literal circuit -- On some classes of fuzzy information relations -- On complete residuated many-valued logics with t-norm conjunction -- A three-valued D-flip-flop and shift register using multiple-junction surface tunnel transistors -- Flash analog-to-digital converter using resonant-tunneling multiple-valued circuits. |
| Record Nr. | UNINA-9910872838103321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2001 | ||
| 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 | ||
| ||
Soggetto topico
-
Many-valued logic
(40)
- Switching theory (19)
- Threshold logic (4)
- Fuzzy logic (2)
- Logique multivalente (2)