Arama Sonuçları Logic. - Daraltılmış: Elektronik KütüphaneSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Elektronik$002bK$0025C3$0025BCt$0025C3$0025BCphane$0026ps$003d300?dt=list2024-11-22T12:34:55ZComputational logicent://SD_ILS/0/SD_ILS:3553472024-11-22T12:34:55Z2024-11-22T12:34:55ZYer Numarası ONLINE(355347.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logicent://SD_ILS/0/SD_ILS:2572782024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Boutelle, Anthony. Gibilisco, Stan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic designent://SD_ILS/0/SD_ILS:2909972024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Chen, Wai-Kai, 1936-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203010150">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/>Mathematical logicent://SD_ILS/0/SD_ILS:2566002024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic logicent://SD_ILS/0/SD_ILS:2199672024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Formal logicent://SD_ILS/0/SD_ILS:2315012024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Prior, A. N. (Arthur N.), 1914-1969.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Epistemic Logicent://SD_ILS/0/SD_ILS:1524322024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5839-4">http://dx.doi.org/10.1007/978-1-4020-5839-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Börger, E. (Egon), 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ancient formal logicent://SD_ILS/0/SD_ILS:2572152024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bochenski, Joseph M., 1902-1995.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533678">http://www.sciencedirect.com/science/book/9780444533678</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331010.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic the basicsent://SD_ILS/0/SD_ILS:2665482024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Beall, J. C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Philosophy of logicent://SD_ILS/0/SD_ILS:1483812024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Jacquette, Dale.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515414">http://www.sciencedirect.com/science/book/9780444515414</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital logic designent://SD_ILS/0/SD_ILS:2546142024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Holdsworth, B. (Brian) Woods, R. C. (R. Clive)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750645829">http://www.sciencedirect.com/science/book/9780750645829</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Logic Synthesisent://SD_ILS/0/SD_ILS:4022032024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67295-3">https://doi.org/10.1007/978-3-319-67295-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic in gamesent://SD_ILS/0/SD_ILS:3649472024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Yer Numarası ONLINE(364947.1)<br/>Elektronik Erişim Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Synchronous precharge logicent://SD_ILS/0/SD_ILS:1485852024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Smoszna, Marek.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123985279">http://www.sciencedirect.com/science/book/9780123985279</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:2665622024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gensler, Harry J., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:1474142024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177511">http://www.sciencedirect.com/science/book/9781856177511</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Coalgebraic Logicent://SD_ILS/0/SD_ILS:1904842024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Doberkat, Ernst-Erich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02995-0">http://dx.doi.org/10.1007/978-3-642-02995-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic in Realityent://SD_ILS/0/SD_ILS:1701412024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Brenner, Joseph E. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8375-4">http://dx.doi.org/10.1007/978-1-4020-8375-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:2544812024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750681124">http://www.sciencedirect.com/science/book/9780750681124</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Equational Logicent://SD_ILS/0/SD_ILS:1833482024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1524922024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1521132024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3092-4">http://dx.doi.org/10.1007/1-4020-3092-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of modal logicent://SD_ILS/0/SD_ILS:1485442024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=15702464&volume=3">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516909">http://www.sciencedirect.com/science/book/9780444516909</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:1521172024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Vanderveken, Daniel. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3167-X">http://dx.doi.org/10.1007/1-4020-3167-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Paraconsistency: Logic and Applicationsent://SD_ILS/0/SD_ILS:3357592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335759.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:1682822024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Schöning, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of inductive logicent://SD_ILS/0/SD_ILS:2572842024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534088">http://www.sciencedirect.com/science/book/9780444534088</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic. Volume IIent://SD_ILS/0/SD_ILS:2572542024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VHDL for logic synthesisent://SD_ILS/0/SD_ILS:3057292024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rushton, Andrew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41715">http://www.books24x7.com/marc.asp?bookid=41715</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119995852">http://dx.doi.org/10.1002/9781119995852</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470688472">http://proquest.safaribooksonline.com/?fpi=9780470688472</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg</a>
<a href="http://proquest.safaribooksonline.com/9780470688472">http://proquest.safaribooksonline.com/9780470688472</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Studies in Legal Logicent://SD_ILS/0/SD_ILS:1521532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hage, Jaap. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3552-7">http://dx.doi.org/10.1007/1-4020-3552-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to medieval logicent://SD_ILS/0/SD_ILS:2342982024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:3312072024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331207.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic: A Brief Courseent://SD_ILS/0/SD_ILS:2046172024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of educationent://SD_ILS/0/SD_ILS:2609492024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203138557">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Memory-Based Logic Synthesisent://SD_ILS/0/SD_ILS:1730662024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8104-2">http://dx.doi.org/10.1007/978-1-4419-8104-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Casari, E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The science of logicent://SD_ILS/0/SD_ILS:1445262024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:1753162024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-212-8">http://dx.doi.org/10.1007/1-84628-212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic design of nanoICsent://SD_ILS/0/SD_ILS:2867842024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420038293">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/>Fuzzy logic in geologyent://SD_ILS/0/SD_ILS:2552822024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Demicco, Robert V. Klir, George J., 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124151468">http://www.sciencedirect.com/science/book/9780124151468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Thought and Languageent://SD_ILS/0/SD_ILS:2360782024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar O'Hear, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550287">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic in chemistryent://SD_ILS/0/SD_ILS:2525832024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rouvray, D. H.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125989107">http://www.sciencedirect.com/science/book/9780125989107</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Molecular logic-based computationent://SD_ILS/0/SD_ILS:3430592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Silva, A. Prasanna de.<br/>Yer Numarası ONLINE(343059.1)<br/>Elektronik Erişim <a href="http://msvu.eblib.com/patron/FullRecord.aspx?p=1185759">Check for Full Text</a> Access restricted: MSVU users only
Royal Society of Chemistry <a href="http://dx.doi.org/10.1039/9781849733021">http://dx.doi.org/10.1039/9781849733021</a>
ebrary <a href="http://site.ebrary.com/id/10640412">http://site.ebrary.com/id/10640412</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=1185759">http://swb.eblib.com/patron/FullRecord.aspx?p=1185759</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Williams, H. Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Eijck, J. van (Jan) Visser, Albert.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic IC master referenceent://SD_ILS/0/SD_ILS:2549082024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Heiserman, David L., 1940-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123380500">http://www.sciencedirect.com/science/book/9780123380500</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:2572392024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Aĭzerman, M. A. (Mark Aronovich), 1913-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Braüner, Torben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A grammatical view of logic programmingent://SD_ILS/0/SD_ILS:2202472024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Gentzen Calculi for Modal Propositional Logicent://SD_ILS/0/SD_ILS:2055572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9670-8">http://dx.doi.org/10.1007/978-90-481-9670-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logic Volume 16ent://SD_ILS/0/SD_ILS:2058562024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0479-4">http://dx.doi.org/10.1007/978-94-007-0479-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logic Volume 15ent://SD_ILS/0/SD_ILS:2058582024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0485-5">http://dx.doi.org/10.1007/978-94-007-0485-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Companion to philosophical logicent://SD_ILS/0/SD_ILS:3000812024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Jacquette, Dale. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9780470996751">http://dx.doi.org/10.1002/9780470996751</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Greek, Indian, and Arabic logicent://SD_ILS/0/SD_ILS:2566012024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Categorical logic and type theoryent://SD_ILS/0/SD_ILS:2565352024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Intuitionistic logic, model theory and forcingent://SD_ILS/0/SD_ILS:2572252024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Fitting, Melvin, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elements of mathematical logic (Model theory)ent://SD_ILS/0/SD_ILS:2572142024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A survey of mathematical logicent://SD_ILS/0/SD_ILS:2573542024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Wang, Hao, 1921-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Truth and consequence in mediaeval logicent://SD_ILS/0/SD_ILS:2572752024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Moody, Ernest A. (Ernest Addison), 1903-1975.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533760">http://www.sciencedirect.com/science/book/9780444533760</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The propositional logic of Boethiusent://SD_ILS/0/SD_ILS:2573162024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Dürr, Karl, 1888-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533661">http://www.sciencedirect.com/science/book/9780444533661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An essay in modal logicent://SD_ILS/0/SD_ILS:2573452024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Wright, G. H. von (Georg Henrik), 1916-2003.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533708">http://www.sciencedirect.com/science/book/9780444533708</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming languages constraints, functions, and objectsent://SD_ILS/0/SD_ILS:2202242024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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 Pro 9 audio and music productionent://SD_ILS/0/SD_ILS:1479102024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Cousins, Mark, 1972- Hepworth-Sawyer, Russ.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:2572222024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422597">http://www.sciencedirect.com/science/book/9780720422597</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>R-Calculus, IV: Propositional Logicent://SD_ILS/0/SD_ILS:5203832024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası XX(520383.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-8633-8">https://doi.org/10.1007/978-981-19-8633-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechanical logic in three-dimensional spaceent://SD_ILS/0/SD_ILS:3426122024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Auletta, Gennaro, author.<br/>Yer Numarası ONLINE(342612.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9789814411516">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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331853.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic of analog and digital machinesent://SD_ILS/0/SD_ILS:2814652024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rocchi, Paolo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital logic design a rigorous approachent://SD_ILS/0/SD_ILS:2804002024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Even, Guy. Medina, Moti, 1979-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic pure, applied and typedent://SD_ILS/0/SD_ILS:2851212024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bimb,̤ Katalin, 1963-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439800010">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/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1734602024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2500-6">http://dx.doi.org/10.1007/978-1-4471-2500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the Organization of Informationent://SD_ILS/0/SD_ILS:1741902024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Frické, Martin. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3088-9">http://dx.doi.org/10.1007/978-1-4614-3088-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic : the laws of truthent://SD_ILS/0/SD_ILS:3762482024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Purgatory the logic of total transformationent://SD_ILS/0/SD_ILS:2336272024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Walls, Jerry L.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Circuit Design Selected Methodsent://SD_ILS/0/SD_ILS:1962632024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Vingron, Shimon P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hitzler, Pascal. Seda, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439829622">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/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of positive engagementent://SD_ILS/0/SD_ILS:3761322024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Nincic, Miroslav.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7591/j.ctt7v74h">http://www.jstor.org/stable/10.7591/j.ctt7v74h</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modality metaphysics, logic, and epistemologyent://SD_ILS/0/SD_ILS:2335132024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hale, Bob, 1945- Hoffmann, Aviv.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic the question of truthent://SD_ILS/0/SD_ILS:2455162024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic and hydrological modelingent://SD_ILS/0/SD_ILS:2878982024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar ?en, Zekí.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439809402">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/>Data integration the relational logic approachent://SD_ILS/0/SD_ILS:2791492024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Genesereth, Michael R., 1948-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic with engineering applicationsent://SD_ILS/0/SD_ILS:3041422024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ross, Timothy J. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119994374">http://dx.doi.org/10.1002/9781119994374</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10358927">http://site.ebrary.com/lib/alltitles/Doc?id=10358927</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neural Cell Behavior and Fuzzy Logicent://SD_ILS/0/SD_ILS:1646852024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09543-1">http://dx.doi.org/10.1007/978-0-387-09543-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:1855372024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1755932024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-845-6">http://dx.doi.org/10.1007/978-1-84628-845-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elementary Logic For Software Developmentent://SD_ILS/0/SD_ILS:1757022024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Lover, Robert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Extensionalism The Revolution in Logicent://SD_ILS/0/SD_ILS:1700542024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bar-Am, Nimrod. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8168-2">http://dx.doi.org/10.1007/978-1-4020-8168-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Srivastava, S. M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Fuzzy Logic using MATLABent://SD_ILS/0/SD_ILS:1843052024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-35781-0">http://dx.doi.org/10.1007/978-3-540-35781-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigid Flexibility The Logic of Intelligenceent://SD_ILS/0/SD_ILS:1693552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Wang, Pei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5045-3">http://dx.doi.org/10.1007/1-4020-5045-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic Applications in Engineering Scienceent://SD_ILS/0/SD_ILS:1690752024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4078-4">http://dx.doi.org/10.1007/1-4020-4078-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantifiers in language and logicent://SD_ILS/0/SD_ILS:2335492024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Peters, Stanley, 1941- Westerståhl, Dag, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theories of Judgment Psychology, Logic, Phenomenologyent://SD_ILS/0/SD_ILS:2385632024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Martin, Wayne.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487613">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic and the semantic webent://SD_ILS/0/SD_ILS:2537232024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sanchez, Elie, 1944-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444519481">http://www.sciencedirect.com/science/book/9780444519481</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic in Financial Analysisent://SD_ILS/0/SD_ILS:1833112024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic, Identification and Predictive Controlent://SD_ILS/0/SD_ILS:1752202024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Philosophical Logic, 2nd Editionent://SD_ILS/0/SD_ILS:1521502024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3521-7">http://dx.doi.org/10.1007/1-4020-3521-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grounded Consequence for Defeasible Logicent://SD_ILS/0/SD_ILS:2349602024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Antonelli, Aldo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511498411">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relevant Logic A Philosophical Interpretationent://SD_ILS/0/SD_ILS:2355032024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Mares, Edwin D..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511520006">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic for embedded systems applicationsent://SD_ILS/0/SD_ILS:2542062024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ibrahim, Ahmad M., 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750676052">http://www.sciencedirect.com/science/book/9780750676052</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetics and the logic of evolutionent://SD_ILS/0/SD_ILS:3015712024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html">Full text available from Wiley InterScience</a>
<a href="http://dx.doi.org/10.1002/0471532657">Authentication may be required</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471532657">http://dx.doi.org/10.1002/0471532657</a>
Book review (E-STREAMS) <a href="http://www.e-streams.com/es0708/es0708_3453.html">http://www.e-streams.com/es0708/es0708_3453.html</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html">http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design of logic-based intelligent systemsent://SD_ILS/0/SD_ILS:3017322024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Truemper, K., 1942- John Wiley & Sons, Inc.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109868497">e-book</a>
Wiley InterScience <a href="http://dx.doi.org/10.1002/9780471723943">An electronic book accessible through the World Wide Web; click for information</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html">http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Arithmetic and logic in computer systemsent://SD_ILS/0/SD_ILS:3017532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Lu, Mi.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={3FE4CD1A-E6BB-4517-8B84-19A40188F47F}&Format=50">Click for information</a>
<a href="http://catdir.loc.gov/catdir/bios/wiley046/2003062036.html">Full text available from Wiley InterScience</a>
<a href="http://dx.doi.org/10.1002/0471728519">Authentication may be required</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471469452">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Probability Theory The Logic of Scienceent://SD_ILS/0/SD_ILS:2373572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Jaynes, E. T.. Bretthorst, G. Larry.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511790423">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verilog coding for logic synthesisent://SD_ILS/0/SD_ILS:3015082024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Lee, Weng Fook. John Wiley & Sons, Inc.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9780471429760">Available by subscription from Safari Books Online</a>
<a href="http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html">http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471457566">http://dx.doi.org/10.1002/0471457566</a>
<a href="http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736">http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736</a>
Book review (E-STREAMS) <a href="http://www.e-streams.com/es0704/es0704%5F3161.html">http://www.e-streams.com/es0704/es0704%5F3161.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital logic testing and simulationent://SD_ILS/0/SD_ILS:3015092024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Miczo, Alexander.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9780471439950">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471457787">http://dx.doi.org/10.1002/0471457787</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html">http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471439950">http://proquest.tech.safaribooksonline.de/9780471439950</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Logic of Concept Expansionent://SD_ILS/0/SD_ILS:2348802024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Buzaglo, Meir.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Air logic control for automated systemsent://SD_ILS/0/SD_ILS:2849692024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>The essence of logic circuitsent://SD_ILS/0/SD_ILS:2497402024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Unger, Stephen H., 1931-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From logic to logic programmingent://SD_ILS/0/SD_ILS:2201992024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Doets, Kees.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic testing and design for testabilityent://SD_ILS/0/SD_ILS:2201532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Fujiwara, Hideo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the basis of ethicsent://SD_ILS/0/SD_ILS:2337112024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Prior, A. N. (Arthur N.), 1914-1969.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Pro 8 audio and music productionent://SD_ILS/0/SD_ILS:1479312024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Cousins, Mark. Hepworth-Sawyer, Russ.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520476">http://www.sciencedirect.com/science/book/9780240520476</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of digital logic and microcomputer designent://SD_ILS/0/SD_ILS:3017662024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rafiquzzaman, Mohamed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={2ED0D2CE-7D20-4839-ABEF-9FDF71A0D9B8}&Format=50">Click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471733520">http://dx.doi.org/10.1002/0471733520</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780471733522">http://dx.doi.org/10.1002/9780471733522</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380">http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic on the track of social changeent://SD_ILS/0/SD_ILS:2346842024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Braybrooke, David. Brown, Bryson. Schotch, Peter K.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Judgement and the Epistemic Foundation of Logicent://SD_ILS/0/SD_ILS:3358952024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar van der Schaar, Maria. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335895.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5137-8">http://dx.doi.org/10.1007/978-94-007-5137-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Curvebreakers.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984ent://SD_ILS/0/SD_ILS:2569572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879998">http://www.sciencedirect.com/science/book/9780444879998</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202832024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Logic programming proceedings of the 1997 International Symposiument://SD_ILS/0/SD_ILS:2202732024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of quantum logic and quantum structures quantum logicent://SD_ILS/0/SD_ILS:1454482024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive logic programming from machine learning to software engineeringent://SD_ILS/0/SD_ILS:2202672024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bergadano, Francesco, 1963- Gunetti, Daniele.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the twelfth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202752024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sterling, Leon.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the eleventh International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202292024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Van Hentenryck, Pascal.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982ent://SD_ILS/0/SD_ILS:2568382024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:2573062024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977ent://SD_ILS/0/SD_ILS:2572592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851789">http://www.sciencedirect.com/science/book/9780444851789</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:1704322024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:2569552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966ent://SD_ILS/0/SD_ILS:2573182024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971ent://SD_ILS/0/SD_ILS:2573022024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969ent://SD_ILS/0/SD_ILS:2572322024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991ent://SD_ILS/0/SD_ILS:2565552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987ent://SD_ILS/0/SD_ILS:2571722024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979ent://SD_ILS/0/SD_ILS:2569522024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978ent://SD_ILS/0/SD_ILS:2572602024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976ent://SD_ILS/0/SD_ILS:2573612024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.ent://SD_ILS/0/SD_ILS:2572312024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967ent://SD_ILS/0/SD_ILS:2573572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534163">http://www.sciencedirect.com/science/book/9780444534163</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, methodology and philosophy of science proceedings of the 1960 international congressent://SD_ILS/0/SD_ILS:2572852024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780804700962">http://www.sciencedirect.com/science/book/9780804700962</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced fuzzy logic approaches in engineering scienceent://SD_ILS/0/SD_ILS:4817622024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ram, Mangey, editor. IGI Global, publisher.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Later medieval metaphysics ontology, language, and logicent://SD_ILS/0/SD_ILS:2399042024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Keele, Rondo, 1968- Bolyard, Charles. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linguistic Fuzzy Logic Methods in Social Sciencesent://SD_ILS/0/SD_ILS:1923052024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Arfi, Badredine. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13343-5">http://dx.doi.org/10.1007/978-3-642-13343-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards a Design Flow for Reversible Logicent://SD_ILS/0/SD_ILS:2055302024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9579-4">http://dx.doi.org/10.1007/978-90-481-9579-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The theory of gambling and statistical logicent://SD_ILS/0/SD_ILS:1469192024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Epstein, Richard A., 1927-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123749406">http://www.sciencedirect.com/science/book/9780123749406</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Truth, etc. six lectures on ancient logicent://SD_ILS/0/SD_ILS:2336432024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Barnes, Jonathan, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Knowledge-Based Neurocomputing: A Fuzzy Logic Approachent://SD_ILS/0/SD_ILS:1889852024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88077-6">http://dx.doi.org/10.1007/978-3-540-88077-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Functions and Equations Examples and Exercisesent://SD_ILS/0/SD_ILS:1705832024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9595-5">http://dx.doi.org/10.1007/978-1-4020-9595-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Synthesis for FSM-Based Control Unitsent://SD_ILS/0/SD_ILS:1909052024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Practical Logic and Automated Reasoningent://SD_ILS/0/SD_ILS:2372062024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Harrison, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechatronic system control, logic, and data acquisitionent://SD_ILS/0/SD_ILS:2874682024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bishop, Robert H., 1957-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420009026">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/>Logic Synthesis for Compositional Microprogram Control Unitsent://SD_ILS/0/SD_ILS:1857662024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Type-2 Fuzzy Logic: Theory and Applicationsent://SD_ILS/0/SD_ILS:1875642024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76284-3">http://dx.doi.org/10.1007/978-3-540-76284-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:1882002024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78652-8">http://dx.doi.org/10.1007/978-3-540-78652-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of Fuzzy Logic and Chaos Theoryent://SD_ILS/0/SD_ILS:1834082024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32502-6">http://dx.doi.org/10.1007/3-540-32502-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Fuzzy Logic Technologies in Industrial Applicationsent://SD_ILS/0/SD_ILS:1754302024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-469-4">http://dx.doi.org/10.1007/978-1-84628-469-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation Engineering Applied Automata Theory and Logicent://SD_ILS/0/SD_ILS:1658582024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantifying Environmental Impact Assessments Using Fuzzy Logicent://SD_ILS/0/SD_ILS:1654682024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Shepard, Richard B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-28098-7">http://dx.doi.org/10.1007/0-387-28098-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Tieszen, Richard.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Infinite words automata, semigroups, logic and gamesent://SD_ILS/0/SD_ILS:2566562024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Perrin, Dominique. Pin, Jean Eric.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125321112">http://www.sciencedirect.com/science/book/9780125321112</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-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>High-performance system design circuits and logicent://SD_ILS/0/SD_ILS:2495992024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Mitsubishi FX programmable logic controllers applications and programmingent://SD_ILS/0/SD_ILS:2564322024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750656795">http://www.sciencedirect.com/science/book/9780750656795</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:5202592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Farmer, William M. author. SpringerLink (Online service)<br/>Yer Numarası XX(520259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Fisher, Michael, 1962-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a>
<a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patternsent://SD_ILS/0/SD_ILS:1702502024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8622-9">http://dx.doi.org/10.1007/978-1-4020-8622-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479622024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479812024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1480372024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1481632024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the modalities in the twentieth centuryent://SD_ILS/0/SD_ILS:2566262024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of the logic of argument and inference the turn towards the practicalent://SD_ILS/0/SD_ILS:2566062024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gabbay, Dov M., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Between Logic and Reality Modeling Inference, Action and Understandingent://SD_ILS/0/SD_ILS:2063512024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-2390-0">http://dx.doi.org/10.1007/978-94-007-2390-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logicent://SD_ILS/0/SD_ILS:2053232024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-8812-3">http://dx.doi.org/10.1007/978-90-481-8812-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactionsent://SD_ILS/0/SD_ILS:1701552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8405-8">http://dx.doi.org/10.1007/978-1-4020-8405-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic based on Schaum's Outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939042024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/schaums-easy-outline-logic">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Methodent://SD_ILS/0/SD_ILS:3361572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Cellucci, Carlo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336157.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubaseent://SD_ILS/0/SD_ILS:1475172024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Pejrolo, Andrea.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240522166">http://www.sciencedirect.com/science/book/9780240522166</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ye, Feng. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Schaum's outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Centrone, Stefania. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithmsent://SD_ILS/0/SD_ILS:2496412024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryent://SD_ILS/0/SD_ILS:2571662024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hailperin, Theodore.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879523">http://www.sciencedirect.com/science/book/9780444879523</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model theory for infinitary logic logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:2572532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Keisler, H. Jerome.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]ent://SD_ILS/0/SD_ILS:2573562024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534156">http://www.sciencedirect.com/science/book/9780444534156</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Goodstein, R. L. (Reuben Louis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</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-22T12:34:55Z2024-11-22T12:34:55ZYazar 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/>Logic programming proceedings of the Fourteenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2201632024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programmingent://SD_ILS/0/SD_ILS:2202722024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207312024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520731.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7869-4">https://doi.org/10.1007/978-981-99-7869-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520823.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208272024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520827.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-25894-7">https://doi.org/10.1007/978-3-031-25894-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210802024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521080.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39965-7">https://doi.org/10.1007/978-3-031-39965-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212452024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521245.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45558-2">https://doi.org/10.1007/978-3-031-45558-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>WAIC and WBIC with R Stan 100 Exercises for Building Logicent://SD_ILS/0/SD_ILS:5207172024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Suzuki, Joe. author. SpringerLink (Online service)<br/>Yer Numarası XX(520717.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-3838-4">https://doi.org/10.1007/978-981-99-3838-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208802024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520880.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211912024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(521191.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36978-0">https://doi.org/10.1007/978-3-031-36978-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211922024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521192.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5212572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521257.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43977-3">https://doi.org/10.1007/978-3-031-43977-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213762024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521376.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49299-0">https://doi.org/10.1007/978-3-031-49299-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213842024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521384.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26622-5">https://doi.org/10.1007/978-3-031-26622-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4851992024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852652024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4855792024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19432-1">https://doi.org/10.1007/978-3-030-19432-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857892024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Silva, Josep. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Logic Circuits & Logic Design with VHDLent://SD_ILS/0/SD_ILS:4858182024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12489-2">https://doi.org/10.1007/978-3-030-12489-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861692024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Representation Theorems in Computer Science A Treatment in Logic Engineeringent://SD_ILS/0/SD_ILS:4863682024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Özçep, Özgür Lütfü. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25785-9">https://doi.org/10.1007/978-3-030-25785-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:4868592024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868892024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12544-8">https://doi.org/10.1007/978-3-030-12544-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Logic Circuits & Logic Design with Verilogent://SD_ILS/0/SD_ILS:4849152024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar LaMeres, Brock J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13605-5">https://doi.org/10.1007/978-3-030-13605-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4860582024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papersent://SD_ILS/0/SD_ILS:4867272024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59620-3">https://doi.org/10.1007/978-3-662-59620-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4829792024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4832412024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4832572024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Functions and Equations Binary Models for Computer Scienceent://SD_ILS/0/SD_ILS:4836332024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design Automation for Differential MOS Current-Mode Logic Circuitsent://SD_ILS/0/SD_ILS:4867032024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91307-0">https://doi.org/10.1007/978-3-319-91307-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994762024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3996112024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4005632024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic in Intelligent System Design Theory and Applicationsent://SD_ILS/0/SD_ILS:4005792024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67137-6">https://doi.org/10.1007/978-3-319-67137-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logicent://SD_ILS/0/SD_ILS:4018072024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70851-5">https://doi.org/10.1007/978-3-319-70851-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contributionent://SD_ILS/0/SD_ILS:4024292024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72892-6">https://doi.org/10.1007/978-3-319-72892-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2ent://SD_ILS/0/SD_ILS:4026182024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66824-6">https://doi.org/10.1007/978-3-319-66824-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3ent://SD_ILS/0/SD_ILS:3990382024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66827-7">https://doi.org/10.1007/978-3-319-66827-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4019812024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4023752024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logicent://SD_ILS/0/SD_ILS:4025082024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73773-7">https://doi.org/10.1007/978-3-319-73773-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4025362024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4023212024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017142024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011102024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994722024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998122024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Rusu, Vlad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4001552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challengesent://SD_ILS/0/SD_ILS:4001692024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Barkalov, Alexander. author. Titarenko, Larysa. author. Bieganowski, Jacek. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59837-6">https://doi.org/10.1007/978-3-319-59837-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applicationsent://SD_ILS/0/SD_ILS:4013922024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71008-2">https://doi.org/10.1007/978-3-319-71008-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11–15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13–15, 2017, Warsaw, Poland, Volume 1ent://SD_ILS/0/SD_ILS:4014082024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66830-7">https://doi.org/10.1007/978-3-319-66830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital electronics 2 : sequential and arithmetic logic circuitsent://SD_ILS/0/SD_ILS:4243022024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Ndjountche, Tertulien.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1002/9781119329756">Wiley Online Library</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.ent://SD_ILS/0/SD_ILS:5188222024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518822.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189492024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Yer Numarası XX(518949.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:5190402024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519040.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519137.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthdayent://SD_ILS/0/SD_ILS:5192742024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.<br/>Yer Numarası XX(519274.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23534-9">https://doi.org/10.1007/978-3-319-23534-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5192762024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519276.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5187752024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518775.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.ent://SD_ILS/0/SD_ILS:5188532024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.<br/>Yer Numarası XX(518853.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17966-7">https://doi.org/10.1007/978-3-319-17966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5188612024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518861.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191022024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519102.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23708-4">https://doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191032024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519103.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191182024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519118.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45824-2">https://doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192932024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519293.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5192682024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519268.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23165-5">https://doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Building a programmable logic controller with a PIC16F648A microcontrollerent://SD_ILS/0/SD_ILS:3425762024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Uzam, Murat, author.<br/>Yer Numarası ONLINE(342576.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466589865">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/>Foundations of fuzzy logic and semantic web languagesent://SD_ILS/0/SD_ILS:3427522024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Straccia, Umberto.<br/>Yer Numarası ONLINE(342752.1)<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439853481">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/>Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856222024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855922024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857832024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentinaent://SD_ILS/0/SD_ILS:3229902024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kehoe, Genevieve M., 1979- author. Project Muse.<br/>Yer Numarası ONLINE(322990.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9781623491604/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to type-2 fuzzy logic control : theory and applicationsent://SD_ILS/0/SD_ILS:3419472024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.<br/>Yer Numarası ONLINE(341947.1)<br/>Elektronik Erişim <a href="http://site.ebrary.com/lib/byuprovo/docDetail.action?docID=10882750">CLICK HERE for online access</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961">http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961</a>
ebrary <a href="http://site.ebrary.com/id/10882750">http://site.ebrary.com/id/10882750</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118886540">http://dx.doi.org/10.1002/9781118886540</a>
MyiLibrary <a href="http://www.myilibrary.com?id=618887">http://www.myilibrary.com?id=618887</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Seizing power the strategic logic of military coupsent://SD_ILS/0/SD_ILS:3229552024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Singh, Naunihal. Project Muse.<br/>Yer Numarası ONLINE(322955.1)<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9781421413372/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4828522024-11-22T12:34:55Z2024-11-22T12:34:55ZYazar Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>