Αποτελέσματα για "computation tree logic"

Αποτελέσματα για "computation tree logic" Εμφανίζονται 1 - 12 Αποτελέσματα από 12 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22computation+tree+logic%22&type=AllFields&lng=el 12 0 50 Beyond Two: Theory and Applications of Multiple-Valued Logic Wed, 01 Jan 2003 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-7908-1769-0 https://find.library.upatras.gr/Record/978-3-7908-1769-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / Wed, 01 Jan 1997 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69065-8 https://find.library.upatras.gr/Record/978-3-540-69065-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Computational Methods in Systems Biology First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 / Wed, 01 Jan 2003 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-36481-8 https://find.library.upatras.gr/Record/978-3-540-36481-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Validation of Stochastic Systems A Guide to Current Research / Thu, 01 Jan 2004 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-24611-4 https://find.library.upatras.gr/Record/978-3-540-24611-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / Sun, 01 Jan 2006 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-37377-3 https://find.library.upatras.gr/Record/978-3-540-37377-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / Thu, 01 Jan 2009 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-642-02734-5 https://find.library.upatras.gr/Record/978-3-642-02734-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / Fri, 01 Jan 2010 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-642-15205-4 https://find.library.upatras.gr/Record/978-3-642-15205-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / Fri, 01 Jan 2010 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-642-16242-8 https://find.library.upatras.gr/Record/978-3-642-16242-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings / Sat, 01 Jan 2005 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-30536-1 https://find.library.upatras.gr/Record/978-3-540-30536-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / Mon, 01 Jan 2007 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-540-75560-9 https://find.library.upatras.gr/Record/978-3-540-75560-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 AI 2009: Advances in Artificial Intelligence 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings / Thu, 01 Jan 2009 17:32:13 +0200 https://find.library.upatras.gr/Record/978-3-642-10439-8 https://find.library.upatras.gr/Record/978-3-642-10439-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics / Tue, 01 Jan 2013 17:32:13 +0200 https://find.library.upatras.gr/Record/978-94-91216-95-4 https://find.library.upatras.gr/Record/978-94-91216-95-4 Mogavero, Fabio Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 Mogavero, Fabio 0