<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Αποτελέσματα για interpretability logic</title>
    <description>Εμφανίζονται 1 - 50 Αποτελέσματα από 2051</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=interpretability+logic&amp;type=AllFields&amp;lng=el</link>
    <opensearch:totalResults>2051</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="interpretability%20logic" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Μετάβαση στην Πρώτη Σελίδα" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=interpretability+logic&amp;type=AllFields&amp;lng=el"/>
    <atom:link rel="next" type="application/rss+xml" title="Μετάβαση στην Επόμενη Σελίδα" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=interpretability+logic&amp;type=AllFields&amp;lng=el&amp;page=2"/>
    <atom:link rel="last" type="application/rss+xml" title="Μετάβαση στην Τελευταία Σελίδα" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=interpretability+logic&amp;type=AllFields&amp;lng=el&amp;page=42"/>
    <item>
      <title>Technen: Elements of Recent History of Information Technologies with Epistemological Conclusions</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-09033-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-09033-7</guid>
      <author>Wierzbicki, Andrzej Piotr</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Wierzbicki, Andrzej Piotr</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Problems of Normativity, Rules and Rule-Following</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-09375-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-09375-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-10031-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-10031-9</guid>
      <author>Atten, Mark van</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Atten, Mark van</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Gentzen's Centenary The Quest for Consistency /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-10103-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-10103-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-10193-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-10193-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Formalisms of Quantum Mechanics An Introduction /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-10539-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-10539-0</guid>
      <author>David, Francois</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>David, Francois</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Influence of Human Rights on International Law</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-12021-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-12021-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Mental Mechanisms of Patient Adherence to Long-Term Therapies Mind and Care /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-12265-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-12265-6</guid>
      <author>Reach, Gérard</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Reach, Gérard</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-15201-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-15201-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-15317-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-15317-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Sense of Things Toward a Phenomenological Realism /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-15395-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-15395-7</guid>
      <author>Ales Bello, Angela</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Ales Bello, Angela</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-15545-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-15545-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Creating Models in Psychological Research</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-15753-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-15753-5</guid>
      <author>Mesly, Olivier</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Mesly, Olivier</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-15940-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-15940-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-16235-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-16235-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software Engineering for Collective Autonomic Systems The ASCENS Approach /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-16310-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-16310-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Artificial Intelligent Approaches in Petroleum Geosciences</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-16531-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-16531-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-17109-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-17109-8</guid>
      <author>Benis-Sinaceur, Hourya</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Benis-Sinaceur, Hourya</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-17524-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-17524-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-17581-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-17581-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-17701-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-17701-4</guid>
      <author>Chivers, Ian</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Chivers, Ian</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-17966-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-17966-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Linguistic Expressions and Semantic Processing A Practical Approach /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-18830-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-18830-0</guid>
      <author>Butler, Alastair</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Butler, Alastair</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>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 /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-18941-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-18941-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>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 /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19282-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19282-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19324-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19324-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19384-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19384-7</guid>
      <author>Pykacz, Jarosław</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Pykacz, Jarosław</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19458-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19458-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19488-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19488-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19584-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19584-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Fifty Years of Fuzzy Logic and its Applications</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19683-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19683-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19686-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19686-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19797-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19797-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21151-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21151-0</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21155-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21155-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21215-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21215-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21690-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21690-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-22053-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-22053-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-22102-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-22102-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-22750-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-22750-4</guid>
      <author>Doberkat, Ernst-Erich</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Doberkat, Ernst-Erich</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-22969-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-22969-0</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-23129-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-23129-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-23165-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-23165-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-23404-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-23404-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-23485-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-23485-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-23506-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-23506-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Archaeological representations in the media: the dominance of pseudo-Archeology</title>
      <pubDate>Sat, 01 Jan 2022 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-3873</link>
      <guid>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-3873</guid>
      <author>SCHIELE, ALEXANDRE</author>
      <dc:format>Online</dc:format>
      <dc:date>2022</dc:date>
      <dc:creator>SCHIELE, ALEXANDRE</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>An interpretive and pedagogical approach of archaeological collections in the light of natural sciences: the notion of Science Educative Islet</title>
      <pubDate>Sat, 01 Jan 2022 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-3818</link>
      <guid>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-3818</guid>
      <author>GEORGOPOULOU, POPI</author>
      <dc:format>Online</dc:format>
      <dc:date>2022</dc:date>
      <dc:creator>GEORGOPOULOU, POPI</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Negotiating ethical issues in Biology: three case studies</title>
      <pubDate>Fri, 01 Jan 2016 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-2266</link>
      <guid>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-2266</guid>
      <author>SAXENA, ASTHA</author>
      <dc:format>Online</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>SAXENA, ASTHA</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Complexité et conceptions : nouveaux défis face à l’apprentissage. Le cas des conceptions des enseignants sur l’écosystème</title>
      <pubDate>Tue, 01 Jan 2013 20:59:08 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-2016</link>
      <guid>https://find.library.upatras.gr/Record/oai:ojs.pasithee.library.upatras.gr:article-2016</guid>
      <author>MESSOUSSI, LAMJED</author>
      <dc:format>Online</dc:format>
      <dc:date>2013</dc:date>
      <dc:creator>MESSOUSSI, LAMJED</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
