You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
None
Papers from a recent conference are arranged in sections on neural and threshold nets, spectral methods, decomposition and data mining, algebra, fuzzy logic, Reed-Muller logic and its extensions, logic and algebra, decision diagrams, and circuits. Other subjects are evolutionary and information theory approaches, image and language processing, theorem proving and applications, clones and asynchronous machines, arithmetics and systems, and verification and power estimation. Specific topics include probabilistic verification of multiple-valued functions, silicon single-electron devices, and data mining of weak functional decompositions. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR
None
This is a collection of invited papers from the 1975 International Sym posium on Multiple-valued Logic. Also included is an extensive bib liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of papers may be taken as indicative of a breadth which occurs in the field of multiple-valued logic as a whole - the papers here can do no more than cover a small sample: question-answering systems, analysi...
The proceedings of ISMVL 91, held in Victoria, BC, May 1991, contain four invited addresses and 43 contributed papers in sessions devoted to fuzzy logic, circuits, logic, algebra, applications, reasoning, expert systems, programmable logic, design with cost tables, function minimization, spectral te