Results for "Mathematic Logic"

Results for "Mathematic Logic" Showing 1 - 50 results of 2296 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Mathematic+Logic%22&type=Subject&lng=en 2296 0 50 Petr Hájek on Mathematical Fuzzy Logic Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-06233-4 https://find.library.upatras.gr/Record/978-3-319-06233-4 Electronic eBook 2015 0 Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-10031-9 https://find.library.upatras.gr/Record/978-3-319-10031-9 Atten, Mark van Electronic eBook 2015 Atten, Mark van 0 Gentzen's Centenary The Quest for Consistency / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-10103-3 https://find.library.upatras.gr/Record/978-3-319-10103-3 Electronic eBook 2015 0 The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-10193-4 https://find.library.upatras.gr/Record/978-3-319-10193-4 Electronic eBook 2015 0 From Logic to Practice Italian Studies in the Philosophy of Mathematics / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-10434-8 https://find.library.upatras.gr/Record/978-3-319-10434-8 Electronic eBook 2015 0 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-11041-7 https://find.library.upatras.gr/Record/978-3-319-11041-7 Electronic eBook 2015 0 Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-15201-1 https://find.library.upatras.gr/Record/978-3-319-15201-1 Electronic eBook 2015 0 Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-15317-9 https://find.library.upatras.gr/Record/978-3-319-15317-9 Electronic eBook 2015 0 The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-15368-1 https://find.library.upatras.gr/Record/978-3-319-15368-1 Electronic eBook 2015 0 Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-15545-6 https://find.library.upatras.gr/Record/978-3-319-15545-6 Electronic eBook 2015 0 Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-15579-1 https://find.library.upatras.gr/Record/978-3-319-15579-1 Electronic eBook 2015 0 Software Engineering for Collective Autonomic Systems The ASCENS Approach / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-16310-9 https://find.library.upatras.gr/Record/978-3-319-16310-9 Electronic eBook 2015 0 One Hundred Prisoners and a Light Bulb Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-16694-0 https://find.library.upatras.gr/Record/978-3-319-16694-0 van Ditmarsch, Hans Electronic eBook 2015 van Ditmarsch, Hans 0 Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-16721-3 https://find.library.upatras.gr/Record/978-3-319-16721-3 Cox, David A. Electronic eBook 2015 Cox, David A. 0 Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-17142-5 https://find.library.upatras.gr/Record/978-3-319-17142-5 Electronic eBook 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-17524-9 https://find.library.upatras.gr/Record/978-3-319-17524-9 Electronic eBook 2015 0 Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Electronic eBook 2015 0 Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-18362-6 https://find.library.upatras.gr/Record/978-3-319-18362-6 Electronic eBook 2015 0 The Unknown as an Engine for Science An Essay on the Definite and the Indefinite / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-18509-5 https://find.library.upatras.gr/Record/978-3-319-18509-5 Pirner, Hans J. Electronic eBook 2015 Pirner, Hans J. 0 The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-18821-8 https://find.library.upatras.gr/Record/978-3-319-18821-8 Jureta, Ivan Electronic eBook 2015 Jureta, Ivan 0 Linguistic Expressions and Semantic Processing A Practical Approach / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-18830-0 https://find.library.upatras.gr/Record/978-3-319-18830-0 Butler, Alastair Electronic eBook 2015 Butler, Alastair 0 Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-18941-3 https://find.library.upatras.gr/Record/978-3-319-18941-3 Electronic eBook 2015 0 Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19063-1 https://find.library.upatras.gr/Record/978-3-319-19063-1 Clerbout, Nicolas Electronic eBook 2015 Clerbout, Nicolas 0 Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19195-9 https://find.library.upatras.gr/Record/978-3-319-19195-9 Electronic eBook 2015 0 Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19225-3 https://find.library.upatras.gr/Record/978-3-319-19225-3 Electronic eBook 2015 0 FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19249-9 https://find.library.upatras.gr/Record/978-3-319-19249-9 Electronic eBook 2015 0 Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19315-1 https://find.library.upatras.gr/Record/978-3-319-19315-1 Electronic eBook 2015 0 Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19384-7 https://find.library.upatras.gr/Record/978-3-319-19384-7 Pykacz, Jarosław Electronic eBook 2015 Pykacz, Jarosław 0 Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19458-5 https://find.library.upatras.gr/Record/978-3-319-19458-5 Electronic eBook 2015 0 Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19494-3 https://find.library.upatras.gr/Record/978-3-319-19494-3 Yengui, Ihsen Electronic eBook 2015 Yengui, Ihsen 0 Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19545-2 https://find.library.upatras.gr/Record/978-3-319-19545-2 Electronic eBook 2015 0 Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19584-1 https://find.library.upatras.gr/Record/978-3-319-19584-1 Electronic eBook 2015 0 Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-19797-5 https://find.library.upatras.gr/Record/978-3-319-19797-5 Electronic eBook 2015 0 Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-20028-6 https://find.library.upatras.gr/Record/978-3-319-20028-6 Electronic eBook 2015 0 Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-20297-6 https://find.library.upatras.gr/Record/978-3-319-20297-6 Electronic eBook 2015 0 Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-20615-8 https://find.library.upatras.gr/Record/978-3-319-20615-8 Electronic eBook 2015 0 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-20807-7 https://find.library.upatras.gr/Record/978-3-319-20807-7 Electronic eBook 2015 0 Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21145-9 https://find.library.upatras.gr/Record/978-3-319-21145-9 Electronic eBook 2015 0 Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21215-9 https://find.library.upatras.gr/Record/978-3-319-21215-9 Electronic eBook 2015 0 Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21362-0 https://find.library.upatras.gr/Record/978-3-319-21362-0 Electronic eBook 2015 0 Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21365-1 https://find.library.upatras.gr/Record/978-3-319-21365-1 Electronic eBook 2015 0 Introduction to Concurrency Theory Transition Systems and CCS / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21491-7 https://find.library.upatras.gr/Record/978-3-319-21491-7 Gorrieri, Roberto Electronic eBook 2015 Gorrieri, Roberto 0 Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21500-6 https://find.library.upatras.gr/Record/978-3-319-21500-6 Electronic eBook 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Electronic eBook 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Electronic eBook 2015 0 Computational Complexity of Solving Equation Systems Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21750-5 https://find.library.upatras.gr/Record/978-3-319-21750-5 Broniek, Przemysław Electronic eBook 2015 Broniek, Przemysław 0 Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21768-0 https://find.library.upatras.gr/Record/978-3-319-21768-0 Electronic eBook 2015 0 Towards an Arithmetical Logic The Arithmetical Foundations of Logic / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-22087-1 https://find.library.upatras.gr/Record/978-3-319-22087-1 Gauthier, Yvon Electronic eBook 2015 Gauthier, Yvon 0 Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-22102-1 https://find.library.upatras.gr/Record/978-3-319-22102-1 Electronic eBook 2015 0 Turing’s Revolution The Impact of His Ideas about Computability / Thu, 01 Jan 2015 05:21:13 +0200 https://find.library.upatras.gr/Record/978-3-319-22156-4 https://find.library.upatras.gr/Record/978-3-319-22156-4 Electronic eBook 2015 0