Many-Valued Logics 2

Automated Reasoning and Practical Applications

By: Leonard Bolc, Piotr Borowik

Write A Review

Hardcover | 23 October 2003

At a Glance

Hardcover
324 Pages

Dimensions(cm)
26.67 x 16.51 x 1.91

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation Applied Mathematics Fuzzy Set Theory Computer Programming & Software Development Programming & Scripting Languages

Software Engineering Artificial Intelligence

Other Editions and Formats

Paperback

Published: 1st December 2010

View Product

One-parameter Groups
Real Number Spaces and Projective Spaces
The Additive Groups Rn
Complex Numbers
Use of Real Numbers in General Topology
Function Spaces
Historical Note
Index of Notation
Index of Terminology
Table of Contents provided by Publisher. All Rights Reserved.

Many-Valued Logics 2

Automated Reasoning and Practical Applications

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Introduction to Programming Languages

Typesetting Mathematics With Latex

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Artificial Intelligence Programming with Python

From Zero to Hero

C# 12 in a Nutshell

The Definitive Reference

Python Automation For Dummies

For Dummies (Computer/Tech)

Learning Go

An Idiomatic Approach to Real-World Go Programming

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Introduction to Machine Learning with Python

A Guide for Data Scientists

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Programming Rust

Fast, Safe Systems Development 2nd Edition

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

Python Cookbook

Recipes for Mastering Python : 3rd Edition

This product is categorised by