-
Recursion theory and computational complexity : lectures given at a summer school of the Centro internazionale matematico estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
Computational complexity;Recursion theory;sähkökirjat
Lolli, Gabriele - Springer 2010
-
Model theory and applications : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
Model theory;sähkökirjat
Mangani, P - Springer 2010
-
Methods of cut-elimination
Proof theory;Mathematics;sähkökirjat
Baaz, Matthias;Leitsch, Alexander - Springer 2011
-
Logica : Metodo Breve
Logic, Symbolic and mathematical;sähkökirjat
Mundici, Daniele - Springer 2011
-
Gentzen calculi for modal propositional logic
Modality (Logic);Logic, Symbolic and mathematical;Mathematics;sähkökirjat
Poggiolesi, Francesca - Springer 2011
-
Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
Logic, Symbolic and mathematical;sähkökirjat
Casari, Ettore - Springer 2010
-
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
-
Logic functions and equations : examples and exercises
Logic, Symbolic and mathematical;sähkökirjat
Steinbach, Bernd;Posthoff, Christian - Springer 2009
-
Mathematical logic : foundations for information science
Logic, Symbolic and mathematical;Mathematics;sähkökirjat
Li, Wei - Birkhäuser 2010
-
Stochastic coalgebraic logic
Algebraic logic;Stochastic processes;MATHEMATICS;sähkökirjat
Doberkat, Ernst-Erich - Springer-Verlag 2010
-
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA
Algebraic logic;Computer science;Informatique;Logique algébrique;sähkökirjat
Schmidt, Renate A - Springer 2006
-
Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Alg
Algebraic logic;Computer science;Relation algebras;sähkökirjat
Berghammer, R;Jaoua, Ali Mohamed;Möller, Bernhard - Springer 2009
-
Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/A
Algebraic logic;Computer science;Relation algebras;sähkökirjat
Berghammer, R;Möller, Bernhard;Struth, Georg - Springer 2008
-
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Algebra, Boolean;Computer algorithms;Decision making;Propositional calculus;Algorithmes;Boole, Algèbre de;Calcul propositionnel;Prise de décision;Algèbre de Boole;Algorithme;Calcul des propositions;Test de satisfaisabilité;sähkökirjat
Hoos, Holger H;Mitchell, David G - Springer 2005
-
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Computer algorithms;Decision making;Propositional calculus;Algorithmes;Calcul propositionnel;Prise de décision;Algorithme;Calcul des propositions;MATHEMATICS;Prise de décision (Mathématiques);Boolesche Formel;Erfüllbarkeitsproblem;Test de satisfaisabilité;informatica;SAT;Satisfiability testing;sähkökirjat
Bacchus, Fahiem;Walsh, Toby - Springer 2005
-
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Algebra, Boolean;Computer algorithms;Decision making;Propositional calculus;Algorithmes;Boole, Algèbre de;Calcul propositionnel;Prise de décision;sähkökirjat
Biere, Armin;Gomes, Carla - Springer 2006
-
Fuzzy logic and applications : 6th international workshop, WILF 2005, Crema, Italy, September 15-17, 2005 : revised selected papers
Fuzzy logic;Fuzzy systems;Logique floue;Systèmes flous;sähkökirjat
Bloch, Isabelle;Petrosino, Alfredo;Tettamanzi, Andrea - Springer 2006
-
Fuzzy logic and applications : 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003 : revised selected papers
Fuzzy logic;Fuzzy sets;Fuzzy systems;Soft computing;Ensembles flous;Informatique douce;Logique floue;Systèmes flous;sähkökirjat
Di Gesù, V;Masulli, F;Petrosino, Alfredo - Springer 2006
-
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings
Computer science;Logic, Symbolic and mathematical;Algorithm Analysis and Problem Complexity;Artificial intelligence;Artificial Intelligence (incl. Robotics);Computer software;Logic design;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Programming Techniques;Software engineering;sähkökirjat
Sofronie-Stokkermans, Viorica;Tinelli, C - Springer-Verlag GmbH Berlin Heidelberg 2011
-
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Computer science;Logic, Symbolic and mathematical;sähkökirjat
Ghilardi, Silvio;Sebastiani, R - Springer-Verlag 2009