×


 x 

Shopping cart
Bolc, Leonard; Borowik, Piotr - Many-Valued Logics 2 - 9783540645078 - V9783540645078
Stock image for illustration purposes only - book cover, edition or condition may vary.

Many-Valued Logics 2

€ 70.20
FREE Delivery in Ireland
Description for Many-Valued Logics 2 Hardback. Many-valued logics are increasingly important in different areas of computer science. This book emphasizes automated reasoning, practical applications, and the developments in fuzzy logic and rough set theory. It presents the applications in software specification and electronic circuit verification. Num Pages: 303 pages, 11 black & white tables, biography. BIC Classification: PBWX; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 631.
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas ... Read more

Product Details

Format
Hardback
Publication date
2003
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
303
Condition
New
Number of Pages
303
Place of Publication
Berlin, Germany
ISBN
9783540645078
SKU
V9783540645078
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Many-Valued Logics 2

Goodreads reviews for Many-Valued Logics 2


Subscribe to our newsletter

News on special offers, signed editions & more!