Proceedings of the 20th International Symposium on [title], held at Charlotte, NC, May 1990. Sessions cover circuits, algebra, spectral techniques, special applications, logic design, logic, logic and algebra, logic and artificial intelligence, and artificial intelligence and expert systems. No subject index. Acidic paper. Annotation copyrighted by Book News, Inc., Portland, OR. |