Search Results for Logic. - Narrowed by: E-Book - 1996 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025091996$0025091996$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-03T10:34:56Z Principles of logic and logic programming ent://SD_ILS/0/SD_ILS:253740 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Metakides, George, 1945-&#160;Nerode, Anil, 1932-&#160;Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive logic programming from machine learning to software engineering ent://SD_ILS/0/SD_ILS:220267 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Bergadano, Francesco, 1963-&#160;Gunetti, Daniele.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming ent://SD_ILS/0/SD_ILS:220272 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany)&#160;Maher, Michael, 1959-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding neural networks and fuzzy logic basic concepts and applications ent://SD_ILS/0/SD_ILS:249589 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Kartalopoulos, Stamatios V.&#160;IEEE Neural Networks Council.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Without good reason the rationality debate in philosophy and cognitive science ent://SD_ILS/0/SD_ILS:231496 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Stein, Edward, 1965-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198237730.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198237730.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical frameworks for truth and abstraction an axiomatic study ent://SD_ILS/0/SD_ILS:256533 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Cantini, Andrea.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Classical recursion theory the theory of functions and sets of natural numbers ent://SD_ILS/0/SD_ILS:256597 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The art of causal conjecture ent://SD_ILS/0/SD_ILS:220207 2024-09-03T10:34:56Z 2024-09-03T10:34:56Z Author&#160;Shafer, Glenn, 1946-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267502">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267502</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>