Search Results for Language and logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguage$002band$002blogic.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-29T04:48:28Z Language, logic and god ent://SD_ILS/0/SD_ILS:646 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Ferre, Frederick.<br/>Preferred Shelf Number&#160;B 824.6 F4 1969<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic, Thought and Language ent://SD_ILS/0/SD_ILS:236078 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;O'Hear, Anthony.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511550287">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, language, and metaphysics ent://SD_ILS/0/SD_ILS:803 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Martin, Richard Milton.<br/>Preferred Shelf Number&#160;BC 51 M37 1971<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Language, truth, and logic ent://SD_ILS/0/SD_ILS:504 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Ayer, Alfred Julies, 1910-<br/>Preferred Shelf Number&#160;B 53 A9 1971<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:148146 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Benthem, J. F. A. K. van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games: Unifying Logic, Language, and Philosophy ent://SD_ILS/0/SD_ILS:170517 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Majer, Ondrej. editor.&#160;Pietarinen, Ahti-Veikko. editor.&#160;Tulenheimo, Tero. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifiers in language and logic ent://SD_ILS/0/SD_ILS:233549 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Peters, Stanley, 1941-&#160;Westerst&aring;hl, Dag, 1946-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:256543 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Benthem, Johan van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leibniz's philosophy logic and language ent://SD_ILS/0/SD_ILS:327 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Ishiguro, Hide<br/>Preferred Shelf Number&#160;B 2599.L8 I83 1990<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Later medieval metaphysics ontology, language, and logic ent://SD_ILS/0/SD_ILS:239904 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Keele, Rondo, 1968-&#160;Bolyard, Charles.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520880 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Hansen, Helle Hvid. editor.&#160;Scedrov, Andre. editor.&#160;de Queiroz, Ruy J.G.B. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520880.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:521257 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Bekki, Daisuke. editor.&#160;Mineshima, Koji. editor. (orcid)&#160;McCready, Elin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521257.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43977-3">https://doi.org/10.1007/978-3-031-43977-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520827 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Deng, Dun. editor.&#160;Liu, Mingming. editor.&#160;Westerst&aring;hl, Dag. editor.&#160;Xie, Kaibo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520827.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-25894-7">https://doi.org/10.1007/978-3-031-25894-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485199 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Iemhoff, Rosalie. editor.&#160;Moortgat, Michael. editor.&#160;de Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6&ndash;17, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:486727 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Sikos, Jennifer. editor.&#160;Pacuit, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59620-3">https://doi.org/10.1007/978-3-662-59620-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486058 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Silva, Alexandra. editor.&#160;Staton, Sam. editor.&#160;Sutton, Peter. editor.&#160;Umbach, Carla. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401755 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Moss, Lawrence S. editor.&#160;de Queiroz, Ruy. editor.&#160;Martinez, Maricarmen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519040 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Aher, Martin. editor.&#160;Hole, Daniel. editor.&#160;Je&#345;&aacute;bek, Emil. editor.&#160;Kupke, Clemens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519040.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518949 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;de Paiva, Valeria. editor.&#160;de Queiroz, Ruy. editor.&#160;Moss, Lawrence S. editor.&#160;Leivant, Daniel. editor.&#160;de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number&#160;XX(518949.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday ent://SD_ILS/0/SD_ILS:489515 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Casadio, Claudia. editor.&#160;Coecke, Bob. editor.&#160;Moortgat, Michael. editor.&#160;Scott, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers ent://SD_ILS/0/SD_ILS:482733 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Colinet, Margot. editor.&#160;Katrenko, Sophia. editor.&#160;Rendsvig, Rasmus K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valpara&iacute;so, Chile, September 1-4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:482852 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Kohlenbach, Ulrich. editor.&#160;Barcel&oacute;, Pablo. editor.&#160;de Queiroz, Ruy J G B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334337 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Bezhanishvili, Guram. editor.&#160;L&ouml;bner, Sebastian. editor.&#160;Marra, Vincenzo. editor.&#160;Richter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334337.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36976-6">http://dx.doi.org/10.1007/978-3-642-36976-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334875 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Libkin, Leonid. editor.&#160;Kohlenbach, Ulrich. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334875.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers ent://SD_ILS/0/SD_ILS:197083 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Lassiter, Daniel. editor.&#160;Slavkovik, Marija. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31467-4">http://dx.doi.org/10.1007/978-3-642-31467-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197086 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Aloni, Maria. editor.&#160;Kimmelman, Vadim. editor.&#160;Roelofsen, Floris. editor.&#160;Sassoon, Galit W. editor.&#160;Schulz, Katrin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31482-7">http://dx.doi.org/10.1007/978-3-642-31482-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics ent://SD_ILS/0/SD_ILS:197102 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Moot, Richard. author.&#160;Retor&eacute;, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197246 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Ong, Luke. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Structure and Monadic Second-Order Logic A Language-Theoretic Approach ent://SD_ILS/0/SD_ILS:237947 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Courcelle, Bruno.&#160;Engelfriet, Joost.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511977619">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings ent://SD_ILS/0/SD_ILS:194531 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Beklemishev, Lev D. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194981 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Bezhanishvili, Nick. editor.&#160;L&ouml;bner, Sebastian. editor.&#160;Schwabe, Kerstin. editor.&#160;Spada, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22303-7">http://dx.doi.org/10.1007/978-3-642-22303-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192603 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Aloni, Maria. editor.&#160;Bastiaanse, Harald. editor.&#160;Jager, Tikitu. editor.&#160;Schulz, Katrin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192461 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Dawar, Anuj. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers ent://SD_ILS/0/SD_ILS:192749 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Icard, Thomas. editor.&#160;Muskens, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14729-6">http://dx.doi.org/10.1007/978-3-642-14729-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189765 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Bosch, Peter. editor.&#160;Gabelaia, David. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00665-4">http://dx.doi.org/10.1007/978-3-642-00665-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190268 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Ono, Hiroakira. editor.&#160;Kanazawa, Makoto. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02261-6">http://dx.doi.org/10.1007/978-3-642-02261-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185946 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Hodges, Wilfrid. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:187344 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Cate, Balder D. editor.&#160;Zeevat, Henk W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75144-1">http://dx.doi.org/10.1007/978-3-540-75144-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186854 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Leivant, Daniel. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Signs of logic Peircean themes on the philosophy of language, games, and communication ent://SD_ILS/0/SD_ILS:152176 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Pietarinen, Ahti-Veikko.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3729-5">http://dx.doi.org/10.1007/1-4020-3729-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language, logic, and concepts : Essays in memory of John Macnamara ent://SD_ILS/0/SD_ILS:77977 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Macnamara, John Theodore.&#160;Jackendoff, Ray, 1945- ed.&#160;Bloom, Paul, 1963- ed.&#160;Wynn, Karen, ed.<br/>Preferred Shelf Number&#160;BF 201 L36 1999<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Lies language and logic in the late Middle Ages ent://SD_ILS/0/SD_ILS:55746 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Spade, Paul Vincent.<br/>Preferred Shelf Number&#160;BC 34.S11 L54 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Foundations of logico-linquistics : a unified theory of information, language, and logic ent://SD_ILS/0/SD_ILS:20163 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Cooper, William S.<br/>Preferred Shelf Number&#160;P 39 C68 1978<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin. ent://SD_ILS/0/SD_ILS:41533 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Martin, Wallace., ed.<br/>Preferred Shelf Number&#160;PN 45 L317 1974<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520842 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Kupferman, Orna. editor.&#160;Sobocinski, Pawel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520842.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520976 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Pientka, Brigitte. editor.&#160;Tinelli, Cesare. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520976.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520984 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Rozier, Kristin Yvonne. editor.&#160;Chaudhuri, Swarat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520984.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521111 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Holzinger, Andreas. editor.&#160;Kieseberg, Peter. editor.&#160;Cabitza, Federico. editor.&#160;Campagner, Andrea. editor.&#160;Tjoa, A Min. editor.<br/>Preferred Shelf Number&#160;XX(521111.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-40837-3">https://doi.org/10.1007/978-3-031-40837-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521126 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Larsen, Henrik Legind. editor.&#160;Martin-Bautista, Maria J. editor.&#160;Ruiz, M. Dolores. editor.&#160;Andreasen, Troels. editor.&#160;Bordogna, Gloria. editor.<br/>Preferred Shelf Number&#160;XX(521126.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42935-4">https://doi.org/10.1007/978-3-031-42935-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521127 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Malvone, Vadim. editor.&#160;Murano, Aniello. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521127.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43264-4">https://doi.org/10.1007/978-3-031-43264-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521244 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Fensel, Anna. editor.&#160;Ozaki, Ana. editor.&#160;Roman, Dumitru. editor.&#160;Soylu, Ahmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521244.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:521289 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Kamps, Jaap. editor.&#160;Goeuriot, Lorraine. editor.&#160;Crestani, Fabio. editor.&#160;Maistro, Maria. editor.&#160;Joho, Hideo. editor. (orcid)<br/>Preferred Shelf Number&#160;XX(521289.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28244-7">https://doi.org/10.1007/978-3-031-28244-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Prolog: The Next 50 Years ent://SD_ILS/0/SD_ILS:521397 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Warren, David S. editor.&#160;Dahl, Veronica. editor.&#160;Eiter, Thomas. editor.&#160;Hermenegildo, Manuel V. editor.&#160;Kowalski, Robert. editor.<br/>Preferred Shelf Number&#160;XX(521397.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings ent://SD_ILS/0/SD_ILS:521411 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Gebser, Martin. editor.&#160;Sergey, Ilya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521411.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520837 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Cr&eacute;milleux, Bruno. editor.&#160;Hess, Sibylle. editor.&#160;Nijssen, Siegfried. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520837.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30047-9">https://doi.org/10.1007/978-3-031-30047-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:521170 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Iliadis, Lazaros. editor. (orcid)&#160;Papaleonidas, Antonios. editor. (orcid)&#160;Angelov, Plamen. editor.&#160;Jayne, Chrisina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521170.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44216-2">https://doi.org/10.1007/978-3-031-44216-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521178 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Kadry, Seifedine. editor.&#160;Prasath, Rajendra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521178.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44084-7">https://doi.org/10.1007/978-3-031-44084-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521340 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Dubslaff, Clemens. editor.&#160;Tarifa, Silvia Lizeth Tapia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521340.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521280 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Basili, Roberto. editor.&#160;Lembo, Domenico. editor.&#160;Limongelli, Carla. editor.&#160;Orlandini, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521280.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47546-7">https://doi.org/10.1007/978-3-031-47546-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521296 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Hammer, Patrick. editor.&#160;Alirezaie, Marjan. editor.&#160;Stranneg&aring;rd, Claes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521296.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-33469-6">https://doi.org/10.1007/978-3-031-33469-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521324 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Li, Yi. editor.&#160;Tahar, Sofi&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521324.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520500 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Vasi&#263;, Daniel. editor.&#160;Kundid Vasi&#263;, Mirela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520500.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36833-2">https://doi.org/10.1007/978-3-031-36833-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520518 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Chandran K R, Sarath. editor.&#160;N, Sujaudeen. editor.&#160;A, Beulah. editor.&#160;Hamead H, Shahul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520518.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520784 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Aydo&#287;an, Reyhan. editor.&#160;Criado, Natalia. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Sanchez-Anguix, Victor. editor.&#160;Serramia, Marc. editor.<br/>Preferred Shelf Number&#160;XX(520784.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520788 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Hanus, Michael. editor.&#160;Inclezan, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520788.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages: Principles and Paradigms ent://SD_ILS/0/SD_ILS:520706 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Gabbrielli, Maurizio. author.&#160;Martini, Simone. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520706.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34144-1">https://doi.org/10.1007/978-3-031-34144-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520796 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Goertzel, Ben. editor.&#160;Ikl&eacute;, Matt. editor.&#160;Potapov, Alexey. editor.&#160;Ponomaryov, Denis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520796.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-19907-3">https://doi.org/10.1007/978-3-031-19907-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520898 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Dovier, Agostino. editor.&#160;Montanari, Angelo. editor.&#160;Orlandini, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520898.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520911 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;Liu, Ai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520911.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sociolinguistic styles ent://SD_ILS/0/SD_ILS:387079 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Hern&aacute;ndez Campoy, Juan Manuel, author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1002/9781118737606">Wiley Online Library</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:518632 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Gaaloul, Khaled. editor.&#160;Schmidt, Rainer. editor. (orcid)&#160;Nurcan, Selmin. editor.&#160;Guerreiro, S&eacute;rgio. editor.&#160;Ma, Qin. editor.<br/>Preferred Shelf Number&#160;XX(518632.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519293 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Calimeri, Francesco. editor.&#160;Ianni, Giovambattista. editor.&#160;Truszczynski, Miroslaw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519293.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Link&ouml;ping, Sweden, November 24-28, 2014. Revised Selected Papers. ent://SD_ILS/0/SD_ILS:518853 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Lambrix, Patrick. editor.&#160;Hyv&ouml;nen, Eero. editor.&#160;Blomqvist, Eva. editor.&#160;Presutti, Valentina. editor.&#160;Qi, Guilin. editor.<br/>Preferred Shelf Number&#160;XX(518853.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17966-7">https://doi.org/10.1007/978-3-319-17966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518899 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Fromont, Elisa. editor.&#160;De Bie, Tijl. editor.&#160;van Leeuwen, Matthijs. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518899.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24465-5">https://doi.org/10.1007/978-3-319-24465-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519079 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519079.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519094 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Chau, Michael. editor.&#160;Wang, G. Alan. editor.&#160;Chen, Hsinchun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519094.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18455-5">https://doi.org/10.1007/978-3-319-18455-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Web-Based Learning - ICWL 2013 Workshops USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519056 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Chiu, Dickson K. W. editor.&#160;Wang, Minhong. editor.&#160;Popescu, Elvira. editor.&#160;Li, Qing. editor.&#160;Lau, Rynson. editor.<br/>Preferred Shelf Number&#160;XX(519056.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46315-4">https://doi.org/10.1007/978-3-662-46315-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519061 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Murata, Tsuyoshi. editor.&#160;Mineshima, Koji. editor.&#160;Bekki, Daisuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519061.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48119-6">https://doi.org/10.1007/978-3-662-48119-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518953 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Krivine, Jean. editor.&#160;Stefani, Jean-Bernard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518953.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518980 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Holvoet, Tom. editor.&#160;Viroli, Mirko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518980.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519137 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;van der Hoek, Wiebe. editor.&#160;Holliday, Wesley H. editor.&#160;Wang, Wen-fang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519137.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. ent://SD_ILS/0/SD_ILS:519146 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519146.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. ent://SD_ILS/0/SD_ILS:519157 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;ten Cate, Balder. editor.&#160;Mileo, Alessandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519157.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519168 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Yu, Xiaohui. editor.&#160;Dong, Xin Luna. editor.&#160;Li, Jian. editor.&#160;SUN, YIZHOU. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519168.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21042-1">https://doi.org/10.1007/978-3-319-21042-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paper money collapse : the folly of elastic money ent://SD_ILS/0/SD_ILS:341934 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Schlichter, Detlev S., 1964-<br/>Preferred Shelf Number&#160;ONLINE(341934.1)<br/>Electronic Access&#160;Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9781118877326.jpg">http://catalogimages.wiley.com/images/db/jimages/9781118877326.jpg</a> Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1725086">http://public.eblib.com/choice/publicfullrecord.aspx?p=1725086</a> ebrary <a href="http://site.ebrary.com/id/10891169">http://site.ebrary.com/id/10891169</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118877340">http://dx.doi.org/10.1002/9781118877340</a> Cover <a href="http://swbplus.bsz-bw.de/bsz41055152xcov.htm">http://swbplus.bsz-bw.de/bsz41055152xcov.htm</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Meaningful games exploring language with game theory ent://SD_ILS/0/SD_ILS:276739 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Clark, Robin Lee, 1957-&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780262298742/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Oxford handbook of Wittgenstein ent://SD_ILS/0/SD_ILS:357799 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Kuusela, Oskari.&#160;McGinn, Marie.<br/>Preferred Shelf Number&#160;B3376.W564 O95 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The promise of reason studies in The new rhetoric ent://SD_ILS/0/SD_ILS:245033 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Perelman, Cha&iuml;m New rhetoric.&#160;Gage, John T., 1947-&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780809386284/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The nature of race : how scientists think and teach about human difference ent://SD_ILS/0/SD_ILS:375675 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Morning, Ann Juanita, 1968-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.1525/j.ctt1pnrht">http://www.jstor.org/stable/10.1525/j.ctt1pnrht</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical thinking a concise guide ent://SD_ILS/0/SD_ILS:265021 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Bowell, Tracy, 1965-&#160;Kemp, Gary, 1960 Oct. 15-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203874134">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The primacy of grammar ent://SD_ILS/0/SD_ILS:239572 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Mukherji, Nirmalangshu.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Origins : on the genesis of psychic reality ent://SD_ILS/0/SD_ILS:375944 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Mills, Jon, 1964-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt80nn2">http://www.jstor.org/stable/10.2307/j.ctt80nn2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth and words ent://SD_ILS/0/SD_ILS:312816 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Ebbs, Gary.<br/>Preferred Shelf Number&#160;BC171 E23 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Rationality and the literate mind ent://SD_ILS/0/SD_ILS:265110 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Harris, Roy, 1931-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203879481">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of dynamic system modeling ent://SD_ILS/0/SD_ILS:286575 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Fishwick, Paul A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420010855">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg ent://SD_ILS/0/SD_ILS:95479 2024-12-29T04:48:28Z 2024-12-29T04:48:28Z Author&#160;Pinborg, Jan.&#160;Kretzmann, Norman, ed.<br/>Preferred Shelf Number&#160;BC 34 M43 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>