Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Soliman, Sylvain. editor. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dAUTHOR$002509Author$002509Soliman$00252C$002bSylvain.$002beditor.$002509Soliman$00252C$002bSylvain.$002beditor.$0026ps$003d300? 2024-05-28T21:26:56Z Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:503837 2024-05-28T21:26:56Z 2024-05-28T21:26:56Z by&#160;Fages, Fran&ccedil;ois. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format:&#160;Electronic Resources<br/> Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings ent://SD_ILS/0/SD_ILS:510391 2024-05-28T21:26:56Z 2024-05-28T21:26:56Z by&#160;Fages, Fran&ccedil;ois. editor.<br/><a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format:&#160;Electronic Resources<br/>