DocumentCode
2089166
Title
Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
fYear
2000
fDate
25-25 May 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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location
Portland, OR, USA
ISSN
0195-623X
Print_ISBN
0-7695-0692-5
Type
conf
DOI
10.1109/ISMVL.2000.848592
Filename
848592
Link To Document