Results for "Propositional calculus" Showing 1 - 12 results of 12 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Propositional+calculus%22&type=AllFields&lng=en 12 0 50 Fuzzy Mathematics An Introduction for Engineers and Scientists / Mon, 01 Jan 2001 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-7908-1808-6 https://find.library.upatras.gr/Record/978-3-7908-1808-6 Mordeson, John N. Electronic eBook 2001 Mordeson, John N. 0 Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Thu, 01 Jan 2004 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-540-30124-0 https://find.library.upatras.gr/Record/978-3-540-30124-0 Electronic eBook 2004 0 Logical Structures for Representation of Knowledge and Uncertainty Thu, 01 Jan 1998 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-7908-1887-1 https://find.library.upatras.gr/Record/978-3-7908-1887-1 Hisdal, Ellen Electronic eBook 1998 Hisdal, Ellen 0 Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-662-49630-5 https://find.library.upatras.gr/Record/978-3-662-49630-5 Electronic eBook 2016 0 Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Wed, 01 Jan 1997 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-540-69195-2 https://find.library.upatras.gr/Record/978-3-540-69195-2 Electronic eBook 1997 0 Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT Tue, 01 Jan 2013 23:18:00 +0200 https://find.library.upatras.gr/Record/nemertes-10889-5754 https://find.library.upatras.gr/Record/nemertes-10889-5754 Χαρατσάρης, Δημήτριος Thesis 2013 Χαρατσάρης, Δημήτριος 0 Η λογική των προτάσεων, προτασιακός λογισμός Fri, 01 Jan 2016 23:18:00 +0200 https://find.library.upatras.gr/Record/kallipos-11419-2301 https://find.library.upatras.gr/Record/kallipos-11419-2301 Koletsos, Georgios 7 2016 Koletsos, Georgios 0 Intuitionistic Fuzzy Logics Sun, 01 Jan 2017 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-319-48953-7 https://find.library.upatras.gr/Record/978-3-319-48953-7 T. Atanassov, Krassimir Electronic eBook 2017 T. Atanassov, Krassimir 0 Propositional and Predicate Calculus A Model of Argument Sat, 01 Jan 2005 23:18:00 +0200 https://find.library.upatras.gr/Record/978-1-84628-229-4 https://find.library.upatras.gr/Record/978-1-84628-229-4 Goldrei, Derek Electronic eBook 2005 Goldrei, Derek 0 Teachers and Teaching Time and the Creative Tension / Tue, 01 Jan 2019 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-030-24670-9 https://find.library.upatras.gr/Record/978-3-030-24670-9 Roy, Kaustuv Electronic eBook 2019 Roy, Kaustuv 0 Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / Mon, 01 Jan 2007 23:18:00 +0200 https://find.library.upatras.gr/Record/978-3-540-72734-7 https://find.library.upatras.gr/Record/978-3-540-72734-7 Electronic eBook 2007 0 Mathematical logic a course with exercises https://find.library.upatras.gr/Record/27944 https://find.library.upatras.gr/Record/27944 Cori, Rene Book Cori, Rene 0