Search Results for Logic. - Narrowed by: 1996SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091996$0025091996$0026ic$003dtrue$0026ps$003d300?2025-12-14T12:02:56ZIntroduction to logicent://SD_ILS/0/SD_ILS:7482025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Inductive logic programming from machine learning to software engineeringent://SD_ILS/0/SD_ILS:2202672025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Bergadano, Francesco, 1963- Gunetti, Daniele.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programmingent://SD_ILS/0/SD_ILS:2202722025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.ent://SD_ILS/0/SD_ILS:264872025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Aoun, Ali Salem<br/>Preferred Shelf Number TEZ 3422 DR. 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Understanding neural networks and fuzzy logic basic concepts and applicationsent://SD_ILS/0/SD_ILS:2495892025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Kartalopoulos, Stamatios V. IEEE Neural Networks Council.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Without good reason the rationality debate in philosophy and cognitive scienceent://SD_ILS/0/SD_ILS:2314962025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Stein, Edward, 1965-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logical frameworks for truth and abstraction an axiomatic studyent://SD_ILS/0/SD_ILS:2565332025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Cantini, Andrea.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444823069">http://www.sciencedirect.com/science/book/9780444823069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Semiotics around the World: Synthesis in Diversity : Proceedings of the Fifth Congress of the International Association for Semiotic Studies, Berkeley 1994ent://SD_ILS/0/SD_ILS:5322712025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Abraham, Werner, contributor. Adler, Hans, contributor. Albert-Galera, Josefina, contributor. Alburquerque, Luis, contributor. Alves, Junia De Castro Magalhães, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110820065">https://doi.org/10.1515/9783110820065</a>
<a href="https://www.degruyter.com/isbn/9783110820065">https://www.degruyter.com/isbn/9783110820065</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110820065/original">https://www.degruyter.com/document/cover/isbn/9783110820065/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoningent://SD_ILS/0/SD_ILS:777762025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Levi, Isaac, 1930-<br/>Preferred Shelf Number BC 183 L48 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The art of causal conjectureent://SD_ILS/0/SD_ILS:2202072025-12-14T12:02:56Z2025-12-14T12:02:56ZAuthor Shafer, Glenn, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>