Arama Sonuçları Logic. - Daraltılmış: 1999SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091999$0025091999$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2024-12-01T18:07:24ZIntroduction to logicent://SD_ILS/0/SD_ILS:7482024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Kracht, Marcus, ed.<br/>Yer Numarası BC 199.M6 A38 1998- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Categorical logic and type theoryent://SD_ILS/0/SD_ILS:2565352024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Jacobs, Bart.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and techniques in modal logicent://SD_ILS/0/SD_ILS:2565492024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Kracht, Marcus.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar 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 probabilityent://SD_ILS/0/SD_ILS:354992024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar 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/>Air logic control for automated systemsent://SD_ILS/0/SD_ILS:2849692024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Wojtecki, Rudy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420050110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High-performance system design circuits and logicent://SD_ILS/0/SD_ILS:2495992024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Language, logic, and concepts : Essays in memory of John Macnamaraent://SD_ILS/0/SD_ILS:779772024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Macnamara, John Theodore. Jackendoff, Ray, 1945- ed. Bloom, Paul, 1963- ed. Wynn, Karen, ed.<br/>Yer Numarası BF 201 L36 1999<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar 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/>Handbook of computability theoryent://SD_ILS/0/SD_ILS:2565342024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Griffor, Edward R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898821">http://www.sciencedirect.com/science/book/9780444898821</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar 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:851592024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mantıkent://SD_ILS/0/SD_ILS:1086032024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Çüçen, A. Kadir.<br/>Yer Numarası BC117.T8 C46 1999<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Symbolic Methods in Control System Analysis and Designent://SD_ILS/0/SD_ILS:2477092024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Munro, Neil, ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy theory systems techniques and applicationsent://SD_ILS/0/SD_ILS:2536852024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Leondes, Cornelius T.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124438705">http://www.sciencedirect.com/science/book/9780124438705</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wissenschaft der Logikent://SD_ILS/0/SD_ILS:1158892024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Hegel, Georg Wilhelm Friedrich. Jaeschke, Walter von. Gawoll, Hans-Jürgen.<br/>Yer Numarası B2942 H444 1999 BAND 11<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Beyin geliştirmeent://SD_ILS/0/SD_ILS:5092922024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Vos Savant, Marilyn Mach. Fleischer, Leonore. Şen, Cem.<br/>Yer Numarası BF441 V67 1999<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Optimization methods for logical inferenceent://SD_ILS/0/SD_ILS:3003052024-12-01T18:07:24Z2024-12-01T18:07:24ZYazar Chandru, Vijay, 1953- Hooker, John, 1949-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033166">An electronic book accessible through the World Wide Web; click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=695262">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley042/98044622.html">http://catdir.loc.gov/catdir/bios/wiley042/98044622.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>