Vai al contenuto principale della pagina
Titolo: | Multiple-Valued Logic: Proceedings of the 27th International Symposium on Multiple-Valued Logic, Antigonish, Nova Scotia, Canada, 1997 |
Pubblicazione: | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
Descrizione fisica: | 1 online resource (x, 293 pages) : illustrations |
Disciplina: | 621.381537 |
Soggetto topico: | Switching theory |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Sommario/riassunto: | Proceedings of the May 1997 symposium. MVL researchers from around the world present 37 papers in sessions on algebra, device technology, circuits, fuzzy logic, logic design, philosophical aspects, spectral techniques, testing and fault simulation, and applications. In addition, three invited addresses--recent developments in DNA- computing; many-valuedness and uncertainty; and ternary decision diagrams (survey)--further illustrate the diverse nature of multiple-valued research. Topics of the papers include finding composition trees for multiple-valued functions; hyperclones on a finite set; and multiple-valued logic as a programming language. No index. Annotation copyrighted by Book News, Inc., Portland, OR. |
Titolo autorizzato: | Multiple-Valued Logic: Proceedings of the 27th International Symposium on Multiple-Valued Logic, Antigonish, Nova Scotia, Canada, 1997 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910872857803321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |