-
Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings
Computable functions;Computer science;Conference papers and proceedings
Beckmann, Arnold;Bienvenu, Laurent;Jonoska, Nataša - Springer 2016
-
Turing computability : theory and applications
Computable functions;Computer science;Turing test
Soare, R. I - Springer 2016
-
Finitely supported mathematics : an introduction
Mathematics;Set theory
Alexandru, Andrei;Ciobanu, Gabriel - Springer 2016
-
Bent functions : fundamentals and results
Algebra, Boolean;Algebraic functions
Mesnager, Sihem - Springer 2016
-
Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Language and logic;Logic, Symbolic and mathematical;Conference papers and proceedings
Hirvonen, Åsa;Queiroz, Ruy J. G. B. de;Väänänen, J - Springer 2016
-
Descriptive set theoretic methods in automata theory : decidability and topological complexity
Descriptive set theory;Machine theory
Skrzypczak, Michał - Springer 2016
-
Rough sets : International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings
Rough sets;Conference papers and proceedings
Flores, Víctor;Gomide, Fernando;Janusz, Andrzej;Meneses, Claudio;Miao, Duoqian;Peters, Georg;Ślęzak, Dominik;Wang, Guoyin;Weber, Richard;Yao, Yiyu - Springer 2016
-
Generalizations of fuzzy information measures
Fuzzy mathematics;Fuzzy sets
Ohlan, Anshu;Ohlan, Ramphul - Springer 2016
-
Transactions on rough sets XX
Fuzzy sets;Rough sets
Peters, James F;Skowron, Andrzej - Springer 2016
-
Algorithm engineering : selected results and surveys
Algorithms
Kliemann, Lasse;Sanders, Peter - Springer 2016
-
Turing Computability : Theory and Applications
Computers;Computer science—Mathematics;Mathematical logic;Theory of Computation;Mathematics of Computing;Mathematical Logic and Foundations
Soare, Robert I - Imprint: Springer 2016 1st ed. 2016.
-
Concepts of proof in mathematics, philosophy, and computer science
Logic, Symbolic and mathematical;Mathematics;Proof theory
Probst, Dieter;Schuster, Peter - De Gruyter 2016
-
Dependence logic : theory and applications
Logic;Mathematics;sähkökirjat
Abramsky, Samson - Birkhauser 2016
-
Fuzzy system and data mining : Proceedings of FSDM 2015
Data mining;Fuzzy systems
Chen, Gang;Liu, Feng;Shojafar, Mohammad - IOS Press 2016
-
Fuzzy systems and data mining II : proceedings of FSDM 2016
Data mining;Fuzzy systems
Liu, Feng;Pamučar, D. S;Sun, Shilei;Tallón-Ballesteros, A. J - IOS Press 2016
-
Fuzzy Logic Models and Fuzzy Control : an Introduction
Fuzzy logic;Fuzzy sets;Intelligent control systems
Hooda, D. S;Raich, Vivek - Alpha Science International 2016
-
Nová infinitní matematika. Nová teorie množin a polomnožin / II
Set theory
Vopěnka, Petr - Charles University in Prague, Karolinum Press 2016
-
Mengenlehre
Set theory
Klaua, Dieter - De Gruyter 2016
-
Helping students make sense of the world using next generation science and engineering practices
Curriculum evaluation;Curriculum-based assessment;Logic, Symbolic and mathematical;Mathematics;Science;e-böcker
Passmore, Cindy;Reiser, Brian J;Schwarz, Christina - National Science Teachers Association 2016
-
Recursion theory : computational aspects of definability
Recursion theory;e-böcker
Chong, C.-T;Yu, Liang - Walter de Gruyter GmbH & Co., KG 2015