Title :
Proceedings of the Twentieth International Symposium on Multiple-Valued Logic (Cat. No.90CH2886-0)
Abstract :
The following topics are dealt with: circuits; algebra; special techniques; logic design; logic; logic and algebra; logic and artificial intelligence; artificial intelligence and expert systems
Keywords :
artificial intelligence; formal logic; logic circuits; logic design; many-valued logics; artificial intelligence; expert systems; logic circuits; logic design; multiple valued logics;
Conference_Titel :
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location :
Charlotte, NC, USA
Print_ISBN :
0-8186-2046-3
DOI :
10.1109/ISMVL.1990.122574