Search Results for - Narrowed by: Logics and Meanings of Programs. - Mathematical Logic and Foundations.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFoundations.$002509Mathematical$002bLogic$002band$002bFoundations.$0026ps$003d300?2024-06-18T08:45:33ZLogics for Computer Science Classical and Non-Classicalent://SD_ILS/0/SD_ILS:20842512024-06-18T08:45:33Z2024-06-18T08:45:33Zby Wasilewska, Anita. author.<br/><a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Electronic Resources<br/>Towards Paraconsistent Engineeringent://SD_ILS/0/SD_ILS:20872122024-06-18T08:45:33Z2024-06-18T08:45:33Zby Akama, Seiki. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40418-9">https://doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Electronic Resources<br/>Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036962024-06-18T08:45:33Z2024-06-18T08:45:33Zby Kaminski, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Electronic Resources<br/>Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128542024-06-18T08:45:33Z2024-06-18T08:45:33Zby Duparc, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Electronic Resources<br/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:5121122024-06-18T08:45:33Z2024-06-18T08:45:33Zby Grädel, Erich. author.<br/><a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125272024-06-18T08:45:33Z2024-06-18T08:45:33Zby Artemov, Sergei N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117222024-06-18T08:45:33Z2024-06-18T08:45:33Zby Ésik, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Electronic Resources<br/>Mathematical Problems from Applied Logic I Logics for the XXIst Centuryent://SD_ILS/0/SD_ILS:5050472024-06-18T08:45:33Z2024-06-18T08:45:33Zby Gabbay, Dov M. editor.<br/><a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:5047492024-06-18T08:45:33Z2024-06-18T08:45:33Zby Poernomo, Iman Hafiz. author.<br/><a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:5090322024-06-18T08:45:33Z2024-06-18T08:45:33Zby Fiadeiro, José Luiz. author.<br/><a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5106512024-06-18T08:45:33Z2024-06-18T08:45:33Zby Middeldorp, Aart. editor.<br/><a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Electronic Resources<br/>Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102802024-06-18T08:45:33Z2024-06-18T08:45:33Zby Ong, Luke. editor.<br/><a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>