Title :
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic
Abstract :
The following topics were discussed: design and verification of systems; fuzzy logics and their applications; logic design; automated reasoning and complexity; computing paradigms; multivalued logics and algebras; decision diagrams; and neural networks
Keywords :
fuzzy logic; multivalued logic; algebras; automated reasoning; complexity; decision diagrams; fuzzy logics; logic design; multivalued logics; neural networks;
Conference_Titel :
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location :
Warsaw, Poland
Print_ISBN :
0-7695-1083-3
DOI :
10.1109/ISMVL.2001.924547
