Search Results for Logic - Narrowed by: Online Library - Computer science. - Information systems. - Management information systems.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Information$002bsystems.$002509Information$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Management$002binformation$002bsystems.$002509Management$002binformation$002bsystems.$0026te$003dILS$0026ps$003d300?2024-08-24T00:13:35ZSpecification and Verification of Declarative Open Interaction Models A Logic-Based Approachent://SD_ILS/0/SD_ILS:1926882024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866972024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor Melin, Patricia. editor. Castillo, Oscar. editor. Aguilar, Luis T. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72950-1">http://dx.doi.org/10.1007/978-3-540-72950-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Mining Discovery, Conformance and Enhancement of Business Processesent://SD_ILS/0/SD_ILS:1940122024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19345-3">http://dx.doi.org/10.1007/978-3-642-19345-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1952252024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23059-2">http://dx.doi.org/10.1007/978-3-642-23059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Techniques for the Web The REWERSE Perspectiveent://SD_ILS/0/SD_ILS:1909932024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04581-3">http://dx.doi.org/10.1007/978-3-642-04581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lecturesent://SD_ILS/0/SD_ILS:1872142024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1828222024-08-24T00:13:35Z2024-08-24T00:13:35ZAuthor Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>