Search Results for Predicate (Logic) - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPredicate$002b$002528Logic$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300?2024-11-06T10:26:43ZProgramming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372024-11-06T10:26:43Z2024-11-06T10:26:43ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519237.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5186322024-11-06T10:26:43Z2024-11-06T10:26:43ZAuthor Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number XX(518632.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>