Arama Sonuçları Logic. - Daraltılmış: 1993
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091993$0025091993$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-10-18T23:32:18Z
Logic Safari
ent://SD_ILS/0/SD_ILS:386788
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Risby, Bonnie Lou. Palouda, Annelise.<br/>Yer Numarası BC101 R57 2005 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Introduction to medieval logic
ent://SD_ILS/0/SD_ILS:234298
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Broadie, Alexander.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A grammatical view of logic programming
ent://SD_ILS/0/SD_ILS:220247
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Deransart, Pierre. Małuszyński, J. (Jan), 1941-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic programming languages constraints, functions, and objects
ent://SD_ILS/0/SD_ILS:220224
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic programming proceedings of the Tenth International Conference on Logic Programming
ent://SD_ILS/0/SD_ILS:220283
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Logic programming and non-monotonic reasoning proceedings of the second international workshop
ent://SD_ILS/0/SD_ILS:220274
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Pereira, Luís Moniz. Nerode, Anil, 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The use of neural networks together with fuzzy logic techniques in nuclear applications
ent://SD_ILS/0/SD_ILS:25362
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Erdoğan, Adem. Nuclear Engineering Thesis.<br/>Yer Numarası TEZ 2295 .E73 1993<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Pluralism against the demand for consensus
ent://SD_ILS/0/SD_ILS:232727
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Rescher, Nicholas.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198236016.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198236016.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concurrent constraint programming
ent://SD_ILS/0/SD_ILS:220270
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Saraswat, Vijay.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sensory qualities
ent://SD_ILS/0/SD_ILS:233943
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Clark, Austen.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198236801.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198236801.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Classical recursion theory the theory of functions and sets of natural numbers
ent://SD_ILS/0/SD_ILS:256597
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Ibn Taymiyya against the Greek logicians
ent://SD_ILS/0/SD_ILS:231571
2024-10-18T23:32:18Z
2024-10-18T23:32:18Z
Yazar Ibn Taymīyah, Aḥmad ibn ʻAbd al-Ḥalīm, 1263-1328. Hallaq, Wael B., 1955-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198240433.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198240433.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>