Results for "logic"

Results for "logic" Showing 1 - 50 results of 4364 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22logic%22&type=Subject&lng=en 4364 0 50 Polynomial Theory of Error Correcting Codes Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-01727-3 https://find.library.upatras.gr/Record/978-3-319-01727-3 Cancellieri, Giovanni Electronic eBook 2015 Cancellieri, Giovanni 0 Petr Hájek on Mathematical Fuzzy Logic Thu, 01 Jan 2015 19:39:56 +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 Pesky Essays on the Logic of Philosophy Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-08063-5 https://find.library.upatras.gr/Record/978-3-319-08063-5 Lucey, Kenneth G. Electronic eBook 2015 Lucey, Kenneth G. 0 Heuristic Reasoning Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-09159-4 https://find.library.upatras.gr/Record/978-3-319-09159-4 Electronic eBook 2015 0 Problems of Normativity, Rules and Rule-Following Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-09375-8 https://find.library.upatras.gr/Record/978-3-319-09375-8 Electronic eBook 2015 0 Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer Thu, 01 Jan 2015 19:39:56 +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 19:39:56 +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 19:39:56 +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 19:39:56 +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 Validation of Evolving Software Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-10623-6 https://find.library.upatras.gr/Record/978-3-319-10623-6 Electronic eBook 2015 0 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 19:39:56 +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 Design of Experiments for Reinforcement Learning Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-12197-0 https://find.library.upatras.gr/Record/978-3-319-12197-0 Gatti, Christopher Electronic eBook 2015 Gatti, Christopher 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 19:39:56 +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 19:39:56 +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 19:39:56 +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 19:39:56 +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 19:39:56 +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 Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-15940-9 https://find.library.upatras.gr/Record/978-3-319-15940-9 Electronic eBook 2015 0 Past and Present Interactions in Legal Reasoning and Logic Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-16021-4 https://find.library.upatras.gr/Record/978-3-319-16021-4 Electronic eBook 2015 0 Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-16101-3 https://find.library.upatras.gr/Record/978-3-319-16101-3 Electronic eBook 2015 0 Software Engineering for Collective Autonomic Systems The ASCENS Approach / Thu, 01 Jan 2015 19:39:56 +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 Romanian Studies in Philosophy of Science Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-16655-1 https://find.library.upatras.gr/Record/978-3-319-16655-1 Electronic eBook 2015 0 One Hundred Prisoners and a Light Bulb Thu, 01 Jan 2015 19:39:56 +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 19:39:56 +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 Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-17109-8 https://find.library.upatras.gr/Record/978-3-319-17109-8 Benis-Sinaceur, Hourya Electronic eBook 2015 Benis-Sinaceur, Hourya 0 Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / Thu, 01 Jan 2015 19:39:56 +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 19:39:56 +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 Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-17581-2 https://find.library.upatras.gr/Record/978-3-319-17581-2 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 19:39:56 +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 Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-17912-4 https://find.library.upatras.gr/Record/978-3-319-17912-4 Abe, Jair Minoro Electronic eBook 2015 Abe, Jair Minoro 0 Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language Thu, 01 Jan 2015 19:39:56 +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 19:39:56 +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 19:39:56 +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 19:39:56 +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 19:39:56 +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 19:39:56 +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 Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-19084-6 https://find.library.upatras.gr/Record/978-3-319-19084-6 Electronic eBook 2015 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 19:39:56 +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 19:39:56 +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 19:39:56 +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 Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 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 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-19282-6 https://find.library.upatras.gr/Record/978-3-319-19282-6 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 19:39:56 +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 19:39:56 +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 19:39:56 +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 Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-19488-2 https://find.library.upatras.gr/Record/978-3-319-19488-2 Electronic eBook 2015 0 Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / Thu, 01 Jan 2015 19:39:56 +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 19:39:56 +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 19:39:56 +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 Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / Thu, 01 Jan 2015 19:39:56 +0200 https://find.library.upatras.gr/Record/978-3-319-19686-2 https://find.library.upatras.gr/Record/978-3-319-19686-2 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 19:39:56 +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