Search Results for Logic. - Narrowed by: E-Book - 2000SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092000$0025092000$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-03T05:47:51ZDynamic logicent://SD_ILS/0/SD_ILS:2199672024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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:2536882024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithmsent://SD_ILS/0/SD_ILS:2496412024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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:2202712024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>From Peirce to Skolem a neglected chapter in the history of logicent://SD_ILS/0/SD_ILS:2565622024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Learning to reason an introduction to logic, sets and relationsent://SD_ILS/0/SD_ILS:3003572024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Between Logic and Intuition Essays in Honor of Charles Parsonsent://SD_ILS/0/SD_ILS:2350872024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Pluralism against the demand for consensusent://SD_ILS/0/SD_ILS:2327272024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Theory of relationsent://SD_ILS/0/SD_ILS:2565512024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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:2565582024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Adaptive thinking rationality in the real worldent://SD_ILS/0/SD_ILS:2310702024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modelingent://SD_ILS/0/SD_ILS:2496422024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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:2565612024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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:1538472024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>Small Signal Microwave Amplifier Designent://SD_ILS/0/SD_ILS:2480152024-09-03T05:47:51Z2024-09-03T05:47:51ZAuthor 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/>