-
Handbook of satisfiability
Propositional calculus;Decision making;Computer algorithms;Algebra, Boolean;e-böcker
Biere, Armin;Heule, Marijn;Maaren, Hans van;Walsh, Toby - IOS Press 2021 Second edition.
-
Constitution of algorithms : ground-truthing, programming, formulating, The
Algorithms
Jaton, Florian;Bowker, Geoffrey C - MIT Press 2021
-
EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural
Logic, Symbolic and mathematical;Reasoning;Lógica simbólica y matemática;Razonamiento;Libros electronicos
Kemel, George;Márquez Lora, Luis Felipe - Editorial Unimagdalena 2020
-
Engines of Order : A Mechanology of Algorithmic Techniques
Computer software;Algorithms;Electronic books.
Rieder, Bernhard - Project MUSE 2020
-
Advances in Experimental Philosophy of Logic and Mathematics
- Bloomsbury Publishing PLC 2019
-
Proof complexity
Computational complexity;Proof theory
Krajíček, Jan - Cambridge University Press 2019
-
Design and analysis of algorithms : a contemporary perspective
Algorithms
Sen, Sandeep;Kumar, Amit - Cambridge University Press 2019
-
Algorithmic regulation
Algorithms;e-böcker
Yeung, Karen;Lodge, Martin - Oxford University Press 2019
-
Dynamic fuzzy machine learning
Fuzzy logic
Fanzhang, Li;Li, Zhang;Zhao, Zhang - De Gruyter 2018
-
Hyperuniverse project and maximality, The
Logic, Symbolic and mathematical;Mathematics;Set theory;Electronic book
Antos, Carolin;Friedman, Sy-David;Honzik, Radek;Ternullo, Claudio - Birkhäuser 2018
-
Logic for physicists
Mathematical physics;Mathematics;e-böcker
Pereyra, Nicolas A - IOP Publishing 2018
-
Rotation sets and complex dynamics
Rotational motion;Set theory;Electronic book
Zakeri, Saeed - Springer 2018
-
Topics on Continua
Continuity;Continuum (Mathematics);Decomposition (Mathematics);Hyperspace;Inverse problems (Differential equations);Set functions;Electronic book
Macías, Sergio - Springer 2018 Second edition.
-
Fuzzy operator theory in mathematical analysis
Fuzzy logic;Mathematical analysis;Operator theory;Electronic book
Cho, Yeol Je;Rassias, Themistocles M;Saadati, Reza - Springer 2018
-
Information geometry and its applications : on the occasion of Shun-ichi Amari's 80th Birthday, IGAIA IV Liblice, Czech Republic, June 2016
Geometry, Differential;Information theory in mathematics;Information theory;Mathematical statistics;Electronic book
Amari, Shun'ichi;Ay, Nihat;Gibilisco, Paolo;Matúš, František - Springer 2018
-
Sets, models and proofs
Logic, Symbolic and mathematical;Electronic book
Moerdijk, Ieke;Oosten, Jaap van - Springer 2018
-
Introduction to the language of mathematics, An
Proof theory;Electronic book
Mynard, Frédéric - Springer 2018
-
Disorder in domain theory
Quantum logic;Programming languages (Electronic computers);Order-disorder models
Martin, Keye - Morgan & Claypool Publishers 2018
-
Regularization algorithms for Ill-posed problems
Algorithms
Bakushinsky, Anatoly B;Kokurin, Mikhail M;Yu Kokurin, Mihail - De Gruyter 2018
-
Single-Valued Neutrosophic Graphs
Mathematics;Combinatorics;Information and Communication, Circuits
Akram, Muhammad - Imprint: Springer 2018 1st ed. 2018.