The proceedings of the symposium held in Sacramento, California, May 1993, include sessions on algebra, logic, circuits, logic minimization, fuzzy logic, testing, function decomposition, learning, reasoning, logic design, and special applications. In addition to 41 contributed papers, three invited addresses discuss "Multiple-Valued Logic Design Tools" (Mike Miller); "Dreams for New Device-Based Superchips--from Transistor to Enzymes" (Takafumi Aoki); and "Lukasiewicz' Insect--the Role of Continuous-Valued Logic for Sensors, Control, and Locomotion in a Mobile Robot" (Jonathan Mills). No index. Annotation copyright by Book News, Inc., Portland, OR. |