Mathematical logic books

5407 books were found.

Fuzzy Logic: A Spectrum of Theoretical & Practical Issues. Studies in Fuzziness and Soft Computing, Volume 215.

Fuzzy Logic: A Spectrum of Theoretical & Practical Issues....
Author: Dr Paul P Wang, M.D (Duke University, Durham, North Carolina, USA Duke Univ. Duke Univ. Duke Univ. Duke University, Durham, North Carolina, USA Duke University, Durham, North Carolina, USA) , Da Ruan ISBN: 9781280937583 Format: Electronic book text	$535.39
Read More >>

Fuzzy Logic for Business, Finance, and Management. Advances in Fuzzy Systems - Applications and Theory, Volume 23.

Fuzzy Logic for Business, Finance, and Management. Advances...
Author: George Bojadziev , Maria Bojadziev ISBN: 9781281121783 Format: Electronic book text	$351.12
Read More >>

Algorithms and Theory of Computation Handbook, Volume 1: General Concepts and Techniques

Algorithms and Theory of Computation Handbook, Volume...
Author: Mikhail J. Atallah (Purdue University, West Lafayette, Indiana, USA) , Marina Blanton (University of Notre Dame, Indiana, USA) ISBN: 9781584888222 Format: Hardback	$170.00
A compendium of fundamental computer science topics and techniques. It illustrates how the topics and techniques... Read More >>

Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques

Algorithms and Theory of Computation Handbook, Volume...
Author: Mikhail J. Atallah , Marina Blanton ISBN: 9781584888208 Format: Hardback	$431.00
A compendium of fundamental computer science topics, techniques, and applications. It covers self-stabilizing and... Read More >>

Algorithms, Languages, Automata, and Compilers: A Practical Approach

Algorithms, Languages, Automata, and Compilers: A Practical...
Author: Maxim Mozgovoy ISBN: 9780763776275 Format: Paperback	$353.63
Read More >>

Diamond

Diamond
Author: N S Hellerstein ISBN: 9781282761452 Format: Electronic book text	$393.36
This book is about diamond, a logic of paradox. In diamond, a statement can be true yet false; an imaginary state,... Read More >>

Logic Demystified

Logic Demystified
Author: Tony Boutelle , Stan Gibilisco ISBN: 9781282914315 Format: Electronic book text	$58.08
Read More >>

Fuzzy Cognitive Maps: Advances in Theory, Methodologies, Tools and Applications

Fuzzy Cognitive Maps: Advances in Theory, Methodologies,...
Author: Michael Glykas ISBN: 9781280003127 Format: Undefined	$340.56
Read More >>

Applications and Theory of Petri Nets

Applications and Theory of Petri Nets
Author: ISBN: 9781280387210 Format: Undefined	$219.12
Read More >>

Mathematical Logic: Foundations for Information Science

Mathematical Logic: Foundations for Information Science...
Author: ISBN: 9781282836112 Format: Electronic book text	$237.57
Read More >>

Category Theory

Category Theory
Author: Steve Awodey ISBN: 9781283160131 Format: Electronic book text	$448.80
Read More >>

The LLL Algorithm: Survey and Applications

The LLL Algorithm: Survey and Applications
Author: ISBN: 9781282836396 Format: Undefined	$551.76
Read More >>

Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity
Author: ISBN: 9781283296106 Format: Undefined	$330.00
Read More >>

Cellular Automata

Cellular Automata
Author: ISBN: 9781280389306 Format: Electronic book text	$314.16
Read More >>

Data Mining and Knowledge Discovery Via Logic-Based Methods: Theory, Algorithms, and Applications

Data Mining and Knowledge Discovery Via Logic-Based...
Author: Evangelos Triantaphyllou ISBN: 9781282982611 Format: Undefined	$525.36
Read More >>

The P=np Question and Godel S Lost Letter

The P=np Question and Godel S Lost Letter
Author: ISBN: 9781282925953 Format: Undefined	$314.16
Read More >>

In Defence of Objective Bayesianism

In Defence of Objective Bayesianism
Author: Jon Williamson ISBN: 9781282730700 Format: Electronic book text	$517.31
Read More >>

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
Author: ISBN: 9781280388842 Format: Electronic book text	$250.80
Read More >>

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Explanation and Proof in Mathematics: Philosophical...
Author: ISBN: 9781282838826 Format: Undefined	$393.36
Read More >>

Automata, Formal Languages and Algebraic Systems - Proceedings of Aflas 2008

Automata, Formal Languages and Algebraic Systems - Proceedings...
Author: Masami Ito (Biomimetic Control Research Center RIKEN, Nagoya, Japan) ISBN: 9781283144889 Format: Electronic book text	$340.56
This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments... Read More >>

Petri Nets

Petri Nets
Author: Michel Diaz ISBN: 9781282688797 Format: Electronic book text	$818.40
Read More >>

Conditional and Preferential Logics: Proof Methods and Theorem Proving

Conditional and Preferential Logics: Proof Methods and...
Author: G L Pzzato ISBN: 9781282600768 Format: Undefined	$300.96
This volume contains a revised and updated version of the author s Ph.D. dissertation, and is focused on proof methods... Read More >>

Formal Concept Analysis

Formal Concept Analysis
Author: ISBN: 9781280385797 Format: Undefined	$219.12
Read More >>

Interactive Theorem Proving

Interactive Theorem Proving
Author: ISBN: 9781280387593 Format: Undefined	$282.48
Read More >>

Louis Couturat -Traite de Logique Algorithmique

Louis Couturat -Traite de Logique Algorithmique
Author: ISBN: 9781282927520 Format: Electronic book text	$393.36
The manuscript of the Traite de Logique algorithmique resulted from lectures Couturat gave at the University of... Read More >>

Page 142 of 217 ... 137 138 139 140 141 142 143 144 145 146 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now