Title :
Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
Abstract :
The following topics are dealt with: multiple-valued logic; neural and threshold nets; spectral methods; decomposition and data mining; algebra; fuzzy logic; Reed-Muller logic; decision diagrams; multiple-valued logic circuits; decision diagrams; evolutionary and information theory; image and language processing; theorem proving; clones and asynchronous machines; arithmetics and systems; and verification and power estimation
Keywords :
algebra; decision diagrams; evolutionary computation; fuzzy logic; information theory; multivalued logic; multivalued logic circuits; neural nets; theorem proving; Reed-Muller logic; algebra; asynchronous machines; clones; data mining; decision diagrams; evolutionary theory; fuzzy logic; image processing; information theory; language processing; multiple-valued logic; multiple-valued logic circuits; neural nets; power estimation; spectral methods; theorem proving; threshold nets;
Conference_Titel :
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location :
Portland, OR, USA
Print_ISBN :
0-7695-0692-5
DOI :
10.1109/ISMVL.2000.848592
