Search Results for Logic. - Narrowed by: 1996
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091996$0025091996$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-27T06:23:26Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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/>
Principles of logic and logic programming
ent://SD_ILS/0/SD_ILS:253740
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 engineering
ent://SD_ILS/0/SD_ILS:220267
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 Programming
ent://SD_ILS/0/SD_ILS:220272
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 capitalism
ent://SD_ILS/0/SD_ILS:76042
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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:26487
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 applications
ent://SD_ILS/0/SD_ILS:249589
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 science
ent://SD_ILS/0/SD_ILS:231496
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 study
ent://SD_ILS/0/SD_ILS:256533
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 algebras
ent://SD_ILS/0/SD_ILS:46044
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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 numbers
ent://SD_ILS/0/SD_ILS:256597
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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:85159
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The art of causal conjecture
ent://SD_ILS/0/SD_ILS:220207
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author 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/>
For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning
ent://SD_ILS/0/SD_ILS:77776
2024-12-27T06:23:26Z
2024-12-27T06:23:26Z
Author Levi, Isaac, 1930-<br/>Preferred Shelf Number BC 183 L48 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>