Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Many-Valued Logics
cover

Many-Valued Logics 2

Automated Reasoning and Practical Applications

Authors: Bolc, Leonard, Borowik, Piotr

Buy this book

Hardcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-540-64507-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-642-08417-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

Many-valued logics are 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 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 such logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.

Buy this book

Hardcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-540-64507-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-642-08417-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Many-Valued Logics 2
Book Subtitle
Automated Reasoning and Practical Applications
Authors
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
Hardcover ISBN
978-3-540-64507-8
Softcover ISBN
978-3-642-08417-1
Edition Number
1
Number of Pages
XI, 303
Topics