Multiple-Valued Logic (ISMVL 2000) 30th IEEE International Symposium
| Author/creator | IEEE Computer Society Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 120 p. 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Subjects |
| Summary | Annotation Papers from a recent conference are arranged in sections on neural and threshold nets, spectral methods, decomposition and data mining, algebra, fuzzy logic, Reed-Muller logic and its extensions, logic and algebra, decision diagrams, and circuits. Other subjects are evolutionary and information theory approaches, image and language processing, theorem proving and applications, clones and asynchronous machines, arithmetics and systems, and verification and power estimation. Specific topics include probabilistic verification of multiple-valued functions, silicon single-electron devices, and data mining of weak functional decompositions. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9780769506920 |
| ISBN | 0769506925 (Trade Paper) Active Record |
| Standard identifier# | 9780769506920 |
| Stock number | PR0692 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |