-
1999 IEEE International Fuzzy Systems, Conference Proceedings : 22-25 August 1999, Seoul, South Korea
Fuzzy logic
- Institute of Electrical and Electronics Engineers 1999
-
2007 International Symposium on Signals, Systems and Electronics : Montréal, Canada, 30 July--2 August 2007
Telecommunication;Wireless communication systems;Spread spectrum communications;Microwave communication systems;Signal processing;Telecommunications;Electrical & Computer Engineering;Engineering & Applied Sciences
- IEEE 2007
-
4th International Symposium on Uncertainty Modeling and Analysis (ISUMA 2003)
Fuzzy sets;Fuzzy systems;Expert systems (Computer science);Mathematics;Physical Sciences & Mathematics;Algebra
- IEEE Computer Society Press 2003
-
Adapting proofs-as-programs : the Curry-Howard protocol
Abstract data types (Computer science);Curry-Howard isomorphism;Functional programming (Computer science);Lambda calculus;Logic, Symbolic and mathematical;Proof theory;MATHEMATICS;sähkökirjat
Poernomo, Iman Hafiz;Crossley, John N;Wirsing, M - Springer 2005
-
Advanced Łukasiewicz calculus and MV-algebras
Łukasiewicz algebras;sähkökirjat
Mundici, Daniele - Springer 2011
-
Advances in Experimental Philosophy of Logic and Mathematics
- Bloomsbury Publishing PLC 2019
-
Advances in linear logic
Logic, Symbolic and mathematical;kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings
Girard, Jean-Yves;Lafont, Yves;Regnier, Laurent - Cambridge University Press 1995
-
Adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940, The
Mathematics;Logic, Symbolic and mathematical;MATHEMATICS / Essays;MATHEMATICS / Pre-Calculus;MATHEMATICS / Reference;History;sähkökirjat
Mancosu, Paolo - Oxford University Press 2010
-
After Gödel : Platonism and rationalism in mathematics and logic
Logic, Symbolic and mathematical;Gödel, Kurt
Tieszen, Richard L - Oxford University Press 2011
-
Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday
Nonclassical mathematical logic;Mundici, Daniele;Mathematics;sähkökirjat
Aguzzoli, Stefano;Mundici, Daniele - Springer 2007
-
Algebraic set theory
Set theory;e-böcker
Joyal, André;Moerdijk, Ieke - Cambridge University Press 1995
-
Algorithm engineering : bridging the gap between algorithm theory and practice
Algorithms;sähkökirjat
Müller-Hannemann, Matthias;Schirra, Stefan - Springer 2010
-
Algorithm engineering : selected results and surveys
Algorithms
Kliemann, Lasse;Sanders, Peter - Springer 2016
-
Algorithm theory - SWAT 2004 : 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, proceedings
Algorithms;Computational complexity
Hagerup, Torben;Katajainen, Jyrki - Springer 2004 1st ed. 2004.
-
Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings
Algorithms;Computational complexity;Algorithmes;Complexité de calcul (Informatique);MATHEMATICS;sähkökirjat
Arge, L;Freĭvald, R. V - Springer 2006
-
Algorithm theory--SWAT 2008 : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008 ; proceedings
Algorithms;Computational complexity;sähkökirjat
Gudmundsson, Joachim - Springer 2008
-
Algorithmen und Datenstrukturen
Algorithms;Computer algorithms;Data structures (Computer science);MATHEMATICS;Mathematik;sähkökirjat
Blum, Norbert - De Gruyter Oldenbourg 2013
-
Algorithmic regulation
Algorithms;e-böcker
Yeung, Karen;Lodge, Martin - Oxford University Press 2019
-
Algorithms and applications : essay dedicated to Esko Ukkonen on the occasion of his 60th birthday
Algorithms;Algorithmes;Ukkonen, E;sähkökirjat
Elomaa, Tapio;Mannila, Heikki;Orponen, Pekka - Springer 2010
-
Algorithms and applications for academic search, recommendation and quantitative association rule mining
Algorithms;Data mining
Amolochitis, Emmanouil - River Publishers 2018