Αποτελέσματα για Lean (proof assistant) Εμφανίζονται 1 - 5 Αποτελέσματα από 5 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=Lean+%28proof+assistant%29&type=AllFields&lng=el 5 0 50 Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / Mon, 01 Jan 2001 17:54:33 +0200 https://find.library.upatras.gr/Record/978-3-540-45744-2 https://find.library.upatras.gr/Record/978-3-540-45744-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Tue, 01 Jan 2008 17:54:33 +0200 https://find.library.upatras.gr/Record/978-3-540-89982-2 https://find.library.upatras.gr/Record/978-3-540-89982-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Complex Systems Design & Management Proceedings of the First International Conference on Complex System Design & Management CSDM 2010 / Fri, 01 Jan 2010 17:54:33 +0200 https://find.library.upatras.gr/Record/978-3-642-15654-0 https://find.library.upatras.gr/Record/978-3-642-15654-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Advances in Informatics and Computing in Civil and Construction Engineering Proceedings of the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management / Tue, 01 Jan 2019 17:54:33 +0200 https://find.library.upatras.gr/Record/978-3-030-00220-6 https://find.library.upatras.gr/Record/978-3-030-00220-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / Mon, 01 Jan 2007 17:54:33 +0200 https://find.library.upatras.gr/Record/978-3-540-73420-8 https://find.library.upatras.gr/Record/978-3-540-73420-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0