Search Results for Logic. - Narrowed by: 2000SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092000$0025092000$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-13T23:24:17ZDynamic logicent://SD_ILS/0/SD_ILS:2199672025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor 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/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Computers : from logic to architectureent://SD_ILS/0/SD_ILS:931662025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.<br/>Preferred Shelf Number QA 76.9.A73 D45 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>VHDL coding and logic synthesis with Synopsysent://SD_ILS/0/SD_ILS:2536882025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Lee, Weng Fook.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124406513">http://www.sciencedirect.com/science/book/9780124406513</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithmsent://SD_ILS/0/SD_ILS:2496412025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1999 International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202712025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Engines of logic : mathematicians and the origin of the computerent://SD_ILS/0/SD_ILS:1326742025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Davis, Martin.<br/>Preferred Shelf Number QA76.5 D38 2000<br/>Format: Books<br/>Availability Beytepe Library~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:969852025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Angelelli, Ignacio, ed. Perez-Ilzarbe, Paloma, ed.<br/>Preferred Shelf Number BC 39.5.S7 M469 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Hooker, John, 1949- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Rodgers, Nancy, 1941-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Between Logic and Intuition Essays in Honor of Charles Parsonsent://SD_ILS/0/SD_ILS:2350872025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Sher, Gila. Tieszen, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511570681">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Brady, Geraldine.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444503343">http://www.sciencedirect.com/science/book/9780444503343</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Triangular normsent://SD_ILS/0/SD_ILS:938622025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Klement, Erich Peter Mesiar, Radko, ort. yaz.. Pap, Endre, ort. yaz.<br/>Preferred Shelf Number QA 329 K54 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Pluralism against the demand for consensusent://SD_ILS/0/SD_ILS:2327272025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Rescher, Nicholas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor 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/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to model theoryent://SD_ILS/0/SD_ILS:1142402025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Rothmaler, Philipp.<br/>Preferred Shelf Number QA9.7 .R671 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of relationsent://SD_ILS/0/SD_ILS:2565512025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Fraïssé, Roland.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505422">http://www.sciencedirect.com/science/book/9780444505422</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computable structures and the hyperarithmetical hierarchyent://SD_ILS/0/SD_ILS:2565582025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Ash, C. J. Knight, J. (Julia)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500724">http://www.sciencedirect.com/science/book/9780444500724</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:790682025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>Dialecticent://SD_ILS/0/SD_ILS:725012025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:769432025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>Adaptive thinking rationality in the real worldent://SD_ILS/0/SD_ILS:2310702025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Gigerenzer, Gerd.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Sembolik mantık el kitabıent://SD_ILS/0/SD_ILS:889372025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Grünberg, Teo.<br/>Preferred Shelf Number BC 135 G969 2000 V.2<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering digital designent://SD_ILS/0/SD_ILS:1538472025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780126912951">http://www.sciencedirect.com/science/book/9780126912951</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modelingent://SD_ILS/0/SD_ILS:2496422025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Quantum theoretic machines what is thought from the point of view of physicsent://SD_ILS/0/SD_ILS:2565612025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Stern, August, 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444826183">http://www.sciencedirect.com/science/book/9780444826183</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Small Signal Microwave Amplifier Designent://SD_ILS/0/SD_ILS:2480152025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Grosch, Theodore<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/SBEW032E">http://dx.doi.org/10.1049/SBEW032E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational intelligence for decision supportent://SD_ILS/0/SD_ILS:5415612025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Chen, Zhengxin.<br/>Preferred Shelf Number T58.62 .C33 1999<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420049145">https://www.taylorfrancis.com/books/9781420049145</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802158">https://www.taylorfrancis.com/books/9780367802158</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dead reckoning : the art of forensic detectionent://SD_ILS/0/SD_ILS:5415922025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Nordby, Jon J.<br/>Preferred Shelf Number RA1063.4 .N67 2000<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420048827">https://www.taylorfrancis.com/books/9781420048827</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367807900">https://www.taylorfrancis.com/books/9780367807900</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brainent://SD_ILS/0/SD_ILS:5474822025-12-13T23:24:17Z2025-12-13T23:24:17ZAuthor Konar, Amit, author.<br/>Preferred Shelf Number QA76.9 .S63 K59 2000<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420049138">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>