31. ISMVL 2001: Warsaw, Poland

31st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2001), 22-24 May, 2001, Warsaw, Poland, Proceedings. IEEE Computer Society, 2001, ISBN 0-7695-1083-3

Invited Address

Circuits I

Design and Verification of Systems

Invited Address

Circuits II

Fuzzy Logics and Their Applications I

Circuits III

Fuzzy Logics and Their Applications II

Invited Address

Tutorial

Invited Address

Logic Design I

Automated Reasoning and Complexity I

Logic Design II

Automated Reasoning and Complexity II

Invited Address

Computing Paradigms

MV Logics and Algebras I

Tutorial

Decision Diagrams

Fuzzy Logics and Set Theories

Neural Networks

MV Logics and Algebras II