Many-Valued Logics 2 - Automated Reasoning and Practical Applications (Paperback, Softcover reprint of hardcover 1st ed. 2003)

Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	December 2010
First published:	2003
Authors:	Leonard Bolc • Piotr Borowik
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	303
Edition:	Softcover reprint of hardcover 1st ed. 2003
ISBN-13:	978-3-642-08417-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-642-08417-6
Barcode:	9783642084171

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!