Recently Viewed

Many-Valued Logics 2: Automated Reasoning and Practical Applications by Leonard Bolc 9783642084171
New

Many-Valued Logics 2: Automated Reasoning and Practical Applications by Leonard Bolc 9783642084171

No reviews yet Write a Review
Booksplease Price: £76.19

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9783642084171
MPN:
9783642084171
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 4 working days
Ask Questions

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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.

Book Information
ISBN 9783642084171
Author Leonard Bolc
Format Paperback
Page Count 303
Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight(grams) 486g

Reviews

No reviews yet Write a Review

Related Titles

Time & Logic: A Computational Approach by Leonard Bolc

Time & Logic: A Computational Approach by Leonard Bolc

RRP: £34.99
Booksplease Price: £31.22
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of...
Add to Cart
Many-Valued Logics by Grzegorz Malinowski 9780198537878

Many-Valued Logics by Grzegorz Malinowski 9780198537878

RRP: £125.00
Booksplease Price: £104.86
The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being "many-valued" at their origin, i.e. those obtained through...
Add to Cart

Booksplease  Reviews