Arama Sonuçları Logic. - Daraltılmış: 2000SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092000$0025092000$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2024-11-22T22:52:16ZDynamic logicent://SD_ILS/0/SD_ILS:2199672024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar 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-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Kracht, Marcus, ed.<br/>Yer Numarası BC 199.M6 A38 1998- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar 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/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Yer Numarası B 945.P43 C5 1923 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar 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/>Computers : from logic to architectureent://SD_ILS/0/SD_ILS:931662024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.<br/>Yer Numarası QA 76.9.A73 D45 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VHDL coding and logic synthesis with Synopsysent://SD_ILS/0/SD_ILS:2536882024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Lee, Weng Fook.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124406513">http://www.sciencedirect.com/science/book/9780124406513</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithmsent://SD_ILS/0/SD_ILS:2496412024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the 1999 International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202712024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511</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-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Engines of logic : mathematicians and the origin of the computerent://SD_ILS/0/SD_ILS:1326742024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Davis, Martin.<br/>Yer Numarası QA76.5 D38 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Medieval and renaissance logic in Spain : acts of the 12th European Symposium on Medieval Logic and Semantics, held at the University of Navarre (Pamplona, 26-30 May 1997)ent://SD_ILS/0/SD_ILS:969852024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.<br/>Yer Numarası BC 39.5.S7 M469 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Between Logic and Intuition Essays in Honor of Charles Parsonsent://SD_ILS/0/SD_ILS:2350872024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Sher, Gila. Tieszen, Richard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511570681">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Brady, Geraldine.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Hooker, John, 1949- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033036">An electronic book accessible through the World Wide Web; click for information</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/99088732.html">http://catdir.loc.gov/catdir/bios/wiley043/99088732.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Rodgers, Nancy, 1941-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118165690">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=818931">Click here to view book</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/00023492.html">http://catdir.loc.gov/catdir/bios/wiley043/00023492.html</a>
ebrary <a href="http://site.ebrary.com/id/10500922">http://site.ebrary.com/id/10500922</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10500922">http://site.ebrary.com/lib/alltitles/Doc?id=10500922</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Triangular normsent://SD_ILS/0/SD_ILS:938622024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Klement, Erich Peter Mesiar, Radko, ort. yaz.. Pap, Endre, ort. yaz.<br/>Yer Numarası QA 329 K54 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Pluralism against the demand for consensusent://SD_ILS/0/SD_ILS:2327272024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar 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/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar 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/>Introduction to model theoryent://SD_ILS/0/SD_ILS:1142402024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Rothmaler, Philipp.<br/>Yer Numarası QA9.7 .R671 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theory of relationsent://SD_ILS/0/SD_ILS:2565512024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Fraïssé, Roland.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505422">http://www.sciencedirect.com/science/book/9780444505422</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computable structures and the hyperarithmetical hierarchyent://SD_ILS/0/SD_ILS:2565582024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Ash, C. J. Knight, J. (Julia)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500724">http://www.sciencedirect.com/science/book/9780444500724</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:790682024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Yer Numarası R 857.S47 N66 2000- V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:769432024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Akay, Metin.<br/>Yer Numarası QT 26.5 N813 2000-<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Adaptive thinking rationality in the real worldent://SD_ILS/0/SD_ILS:2310702024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Gigerenzer, Gerd.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195153729.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195153729.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering digital designent://SD_ILS/0/SD_ILS:1538472024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780126912951">http://www.sciencedirect.com/science/book/9780126912951</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sembolik mantık el kitabıent://SD_ILS/0/SD_ILS:889372024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Grünberg, Teo.<br/>Yer Numarası BC 135 G969 2000 V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Small Signal Microwave Amplifier Designent://SD_ILS/0/SD_ILS:2480152024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Grosch, Theodore<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/SBEW032E">http://dx.doi.org/10.1049/SBEW032E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modelingent://SD_ILS/0/SD_ILS:2496422024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantum theoretic machines what is thought from the point of view of physicsent://SD_ILS/0/SD_ILS:2565612024-11-22T22:52:16Z2024-11-22T22:52:16ZYazar Stern, August, 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444826183">http://www.sciencedirect.com/science/book/9780444826183</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>