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
- Takahiro Hanyu:
Challenge of a Multiple-Valued Technology in Recent Deep-Submicron VLSI.
241- BibTeX
Computing Paradigms
MV Logics and Algebras I
Tutorial
- Arnon Avron:
Classical Gentzen-Type Methods in Propositional Many-Valued Logics.
287- BibTeX
Decision Diagrams
Fuzzy Logics and Set Theories
Neural Networks
MV Logics and Algebras II
Copyright © Sat May 16 23:25:53 2009
by Michael Ley (ley@uni-trier.de)
