-
Theory of fuzzy computation
Computer science;Fuzzy logic;Number theory;sähkökirjat
Syropoulos, Apostolos - Springer 2013
-
Proofs of the Cantor-Bernstein theorem : a mathematical excursion
Set theory;sähkökirjat
Hinkis, Arie - Birkhäuser 2013
-
Äquivalenztests bei unscharfen Hypothesen
Equivalence relations (Set theory);Fuzzy sets;MATHEMATICS / Applied;MATHEMATICS / Probability & Statistics / General;sähkökirjat
Ehlers, Manuel-Miguel - PL Academic Research 2013
-
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Logic, Symbolic and mathematical;kokousjulkaisut;e-böcker;konferenspublikationer
Downey, R. G - World Scientific Pub. Co. 2013
-
Nemateria, ipoteza smarandache ṣi fuziunea informaiṭei
Dezert-Smarandache theory;Information theory in mathematics;sähkökirjat
- Multimedia Larga 2013
-
Algorithmen und Datenstrukturen
Algorithms;Computer algorithms;Data structures (Computer science);MATHEMATICS;Mathematik;sähkökirjat
Blum, Norbert - De Gruyter Oldenbourg 2013
-
Logicism and its philosophical legacy
Logic, Symbolic and mathematical;Mathematics;e-böcker
Demopoulos, William - Cambridge University Press 2013
-
Efektivnost v systému zpetných toku
Reverse mathematics
Klapalová, Alena;Krcál, Michal;Skapa, Radoslav - Ekonomicko-správní fakulta 2013
-
L'algorithmique et des sciences
Algorithms;Mathematics;Physical Sciences & Mathematics;Mathematical Theory
Chazelle, B - Collège de France 2013
-
Proof and proving in mathematics education : the 19th ICMI study
Mathematics;Proof theory;Mathematics Education;sähkökirjat
De Villiers, Michael D;Hanna, G - Springer 2012
-
Introduction to the analysis of algorithms, An
Algorithms;Computer algorithms;MATHEMATICS / Numerical Analysis;Textbooks;sähkökirjat
Soltys, Michael - World Scientific Publishing Co. 2012 2nd ed.
-
Theory of computation
Computable functions;Functional programming languages;sähkökirjat
Tourlakis, George J - Wiley 2012
-
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Computer logic;Logic, Symbolic and mathematical;Algebra -- Data processing;Algorithm Analysis and Problem Complexity;Computation by Abstract Devices;Computational complexity;Computer science;Computer software;Discrete Mathematics in Computer Science;Logic design;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Symbolic and Algebraic Manipulation;sähkökirjat
Ong, Luke;Queiroz, Ruy J. G. B. de - Springer 2012
-
Mathematical logic for computer science
Logic, Symbolic and mathematical;sähkökirjat
Ben-Ari, M - Springer 2012 3rd ed.
-
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Algorithms;Algorithm Analysis and Problem Complexity;Artificial intelligence;Computation by Abstract Devices;Computational complexity;Computer Communication Networks;Computer science;Computer software;Data structures (Computer science);Data Structures;Discrete Mathematics in Computer Science;sähkökirjat
Kranakis, Evangelos;Krizanc, Danny;Luccio, Flaminia - Springer 2012
-
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Computable functions;Computer science;Algebra -- Data processing;Algorithm Analysis and Problem Complexity;Computation by Abstract Devices;Computational complexity;Computer software;Discrete Mathematics in Computer Science;Logic, Symbolic and mathematical;Mathematical Logic and Foundations;Symbolic and Algebraic Manipulation;sähkökirjat
Cooper, S. B;Dawar, Anuj;Löwe, Benedikt - Springer 2012
-
Proof theory
Proof theory
Jervell, Herman Ruge - Logos Verlag Berlin 2012
-
Logic, Construction, Computation
Logic, Symbolic and mathematical;Mathematics;Philosophy;sähkökirjat;Computational neuroscience;Logic;MATHEMATICS;Mathematik
Berger, Ulrich;Diener, Hannes;Schuster, Peter;Seisenberger, Monika - De Gruyter 2012
-
Bridge to abstract mathematics
Mathematics;Logic, Symbolic and mathematical;MATHEMATICS / Infinity;MATHEMATICS / Logic;Textbooks;sähkökirjat
Oberste-Vorth, Ralph W;Lawrence, Bonita A;Mouzakitis, Aristides - Mathematical Association of America 2012
-
Rough sets : selected methods and applications in management and engineering
Computer science;Rough sets;Artificial intelligence;Computer Appl. in Administrative Data Processing;Information systems;sähkökirjat
Peters, Georg - Springer 2012