Search Results for Logica. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogica.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2024-11-20T14:10:41Z Logica: Metodo Breve ent://SD_ILS/0/SD_ILS:204542 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Mundici, Daniele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV ent://SD_ILS/0/SD_ILS:170432 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Makinson, David. editor.&#160;Malinowski, Jacek. editor.&#160;Wansing, Heinrich. 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-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica Universalis Towards a General Theory of Logic ent://SD_ILS/0/SD_ILS:198047 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Beziau, Jean-Yves. 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-7643-8354-1">http://dx.doi.org/10.1007/978-3-7643-8354-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica Universalis Towards a General Theory of Logic ent://SD_ILS/0/SD_ILS:197838 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Beziau, Jean-Yves. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns ent://SD_ILS/0/SD_ILS:170250 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Pagliani, Piero. editor.&#160;Chakraborty, Mihir. 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-8622-9">http://dx.doi.org/10.1007/978-1-4020-8622-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anaphora and Type Logical Grammar ent://SD_ILS/0/SD_ILS:152206 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;J&Auml;ger, Gerhard.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3905-0">http://dx.doi.org/10.1007/1-4020-3905-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational logic and human thinking how to be artificially intelligent ent://SD_ILS/0/SD_ILS:278748 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Kowalski, Robert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of modal logic ent://SD_ILS/0/SD_ILS:148544 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Blackburn, Patrick, 1959-&#160;Benthem, J. F. A. K. van, 1949-&#160;Wolter, Frank.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.sciencedirect.com/science/publication?issn=15702464&volume=3">Full text</a> ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516909">http://www.sciencedirect.com/science/book/9780444516909</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonmonotonic reasoning ent://SD_ILS/0/SD_ILS:219861 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Antoniou, G. (Grigoris)&#160;Williams, M. A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and information flow ent://SD_ILS/0/SD_ILS:219894 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Eijck, J. van (Jan)&#160;Visser, Albert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From logic to logic programming ent://SD_ILS/0/SD_ILS:220199 2024-11-20T14:10:41Z 2024-11-20T14:10:41Z Author&#160;Doets, Kees.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>