Search Results for - Narrowed by: English - Logic design. - Logic, Symbolic and mathematical. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300? 2024-06-21T12:24:27Z Logics for Computer Science Classical and Non-Classical ent://SD_ILS/0/SD_ILS:2084251 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;Electronic Resources<br/> Towards Paraconsistent Engineering ent://SD_ILS/0/SD_ILS:2087212 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;Electronic Resources<br/> Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503696 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;Electronic Resources<br/> Finite Model Theory and Its Applications ent://SD_ILS/0/SD_ILS:512112 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;Gr&auml;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:&#160;Electronic Resources<br/> Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512527 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;Electronic Resources<br/> Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512854 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;Electronic Resources<br/> Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511722 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;&Eacute;sik, Zolt&aacute;n. editor.<br/><a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format:&#160;Electronic Resources<br/> Mathematical Problems from Applied Logic I Logics for the XXIst Century ent://SD_ILS/0/SD_ILS:505047 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;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 Birthday ent://SD_ILS/0/SD_ILS:510651 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;Middeldorp, Aart. editor.<br/><a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format:&#160;Electronic Resources<br/> Categories for Software Engineering ent://SD_ILS/0/SD_ILS:509032 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;Fiadeiro, Jos&eacute; Luiz. author.<br/><a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format:&#160;Electronic Resources<br/> Adapting Proofs-as-Programs The Curry-Howard Protocol ent://SD_ILS/0/SD_ILS:504749 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;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:&#160;Electronic Resources<br/> Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510280 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;Ong, Luke. editor.<br/><a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format:&#160;Electronic Resources<br/> Logically Determined Design : Clockless System Design with NULL Convention Logic. ent://SD_ILS/0/SD_ILS:1183668 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;Fant, Karl M.<br/><a href="http://ebookcentral.proquest.com/lib/iyte/detail.action?docID=231743">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Logically determined design : clockless system design with NULL convention logic ent://SD_ILS/0/SD_ILS:2281567 2024-06-21T12:24:27Z 2024-06-21T12:24:27Z by&#160;Fant, Karl M.<br/><a href="https://learning.oreilly.com/library/view/~/9780471684787">https://learning.oreilly.com/library/view/~/9780471684787</a> <a href="https://learning.oreilly.com/library/view/~/9780471684787/?ar">https://learning.oreilly.com/library/view/~/9780471684787/?ar</a> <a href="https://go.oreilly.com/library-access/library/view/-/9780471684787/?ar">https://go.oreilly.com/library-access/library/view/-/9780471684787/?ar</a><br/>Format:&#160;Electronic Resources<br/>