DocumentCode
3120394
Title
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic
fYear
2001
fDate
22-24 May 2001
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location
Warsaw, Poland
ISSN
0195-623X
Print_ISBN
0-7695-1083-3
Type
conf
DOI
10.1109/ISMVL.2001.924547
Filename
924547
Link To Document