Search Results for Logic - Narrowed by: 1994
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dPUBDATE$002509Publication$002bDate$0025091994$0025091994$0026te$003dILS$0026ps$003d300?
2024-11-11T14:34:13Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Contemporary logic design
ent://SD_ILS/0/SD_ILS:93154
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Katz, Randy H., 1955-<br/>Preferred Shelf Number TK 7888.4 K36 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic and information flow
ent://SD_ILS/0/SD_ILS:219894
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Eijck, J. van (Jan) Visser, Albert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
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/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
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/>
From logic to logic programming
ent://SD_ILS/0/SD_ILS:220199
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Doets, Kees.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming proceedings of the eleventh International Conference on Logic Programming
ent://SD_ILS/0/SD_ILS:220229
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Van Hentenryck, Pascal.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
ent://SD_ILS/0/SD_ILS:256555
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</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-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Fuzzy sets and fuzzy logic theory and applications
ent://SD_ILS/0/SD_ILS:59976
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Klie, George J. Yuan, Bo.<br/>Preferred Shelf Number QA248 .K487 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A model of the universe space-time, probability, and decision
ent://SD_ILS/0/SD_ILS:232401
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author McCall, Storrs.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198236221.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198236221.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth, fiction, and literature a philosophical perspective
ent://SD_ILS/0/SD_ILS:232904
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Lamarque, Peter. Olsen, Stein Haugom, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198236818.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198236818.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
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-11-11T14:34:13Z
2024-11-11T14:34:13Z
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/>
Selected papers on Automath
ent://SD_ILS/0/SD_ILS:257090
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Nederpelt, R. P. (Rob P.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898227">http://www.sciencedirect.com/science/book/9780444898227</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hausdorff gaps and limits
ent://SD_ILS/0/SD_ILS:256960
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Frankiewicz, Ryszard. Zbierski, Paweł.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894908">http://www.sciencedirect.com/science/book/9780444894908</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-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
What is philosophy?
ent://SD_ILS/0/SD_ILS:268430
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Deleuze, Gilles, 1925-1995. Guattari, Félix, 1930-1992. Tomlinson, Hugh, trans. Burchell, Graham, trans.<br/>Preferred Shelf Number B2430.D453 Q4713 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Circuit complexity and neural networks
ent://SD_ILS/0/SD_ILS:219892
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Parberry, Ian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The genealogy of disjunction
ent://SD_ILS/0/SD_ILS:234712
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Jennings, R. E. (Raymond Earl)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195075243.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195075243.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mantık
ent://SD_ILS/0/SD_ILS:17870
2024-11-11T14:34:13Z
2024-11-11T14:34:13Z
Author Özlem, Doğan.<br/>Preferred Shelf Number BC 117.T8 O6 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>