Search Results for Logic - Narrowed by: E-BookSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-12T17:38:13ZComputational logicent://SD_ILS/0/SD_ILS:3553472024-09-12T17:38:13Z2024-09-12T17:38:13ZPreferred Shelf Number ONLINE(355347.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516244">http://www.sciencedirect.com/science/book/9780444516244</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatory logicent://SD_ILS/0/SD_ILS:2572782024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic demystifiedent://SD_ILS/0/SD_ILS:2941152024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:3030992024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic designent://SD_ILS/0/SD_ILS:2909972024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Chen, Wai-Kai, 1936-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203010150">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logicent://SD_ILS/0/SD_ILS:2566002024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic logicent://SD_ILS/0/SD_ILS:2199672024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal logicent://SD_ILS/0/SD_ILS:2315012024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Prior, A. N. (Arthur N.), 1914-1969.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2006ent://SD_ILS/0/SD_ILS:2377752024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 2005ent://SD_ILS/0/SD_ILS:2366312024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511546464">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Epistemic Logicent://SD_ILS/0/SD_ILS:1524322024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computability, complexity, logicent://SD_ILS/0/SD_ILS:2571732024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ancient formal logicent://SD_ILS/0/SD_ILS:2572152024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bochenski, Joseph M., 1902-1995.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533678">http://www.sciencedirect.com/science/book/9780444533678</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Structureent://SD_ILS/0/SD_ILS:3310102024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331010.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic the basicsent://SD_ILS/0/SD_ILS:2665482024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Beall, J. C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Philosophy of logicent://SD_ILS/0/SD_ILS:1483812024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Jacquette, Dale.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515414">http://www.sciencedirect.com/science/book/9780444515414</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital logic designent://SD_ILS/0/SD_ILS:2546142024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Holdsworth, B. (Brian) Woods, R. C. (R. Clive)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750645829">http://www.sciencedirect.com/science/book/9780750645829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Logic Synthesisent://SD_ILS/0/SD_ILS:4022032024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic in gamesent://SD_ILS/0/SD_ILS:3649472024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.<br/>Preferred Shelf Number ONLINE(364947.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Synchronous precharge logicent://SD_ILS/0/SD_ILS:1485852024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Smoszna, Marek.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123985279">http://www.sciencedirect.com/science/book/9780123985279</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:2665622024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gensler, Harry J., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:1474142024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bolton, W. (William), 1933-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177511">http://www.sciencedirect.com/science/book/9781856177511</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Coalgebraic Logicent://SD_ILS/0/SD_ILS:1904842024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Doberkat, Ernst-Erich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic in Realityent://SD_ILS/0/SD_ILS:1701412024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Brenner, Joseph E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:2544812024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bolton, W. (William), 1933-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750681124">http://www.sciencedirect.com/science/book/9780750681124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Equational Logicent://SD_ILS/0/SD_ILS:1833482024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1524922024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:1521132024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of modal logicent://SD_ILS/0/SD_ILS:1485442024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:1521172024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Vanderveken, Daniel. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Paraconsistency: Logic and Applicationsent://SD_ILS/0/SD_ILS:3357592024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335759.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:1682822024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Schöning, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Aspects of inductive logicent://SD_ILS/0/SD_ILS:2572842024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534088">http://www.sciencedirect.com/science/book/9780444534088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatory logic. Volume IIent://SD_ILS/0/SD_ILS:2572542024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VHDL for logic synthesisent://SD_ILS/0/SD_ILS:3057292024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rushton, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Studies in Legal Logicent://SD_ILS/0/SD_ILS:1521532024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hage, Jaap. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to medieval logicent://SD_ILS/0/SD_ILS:2342982024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Broadie, Alexander.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:3312072024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331207.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic: A Brief Courseent://SD_ILS/0/SD_ILS:2046172024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The logic of educationent://SD_ILS/0/SD_ILS:2609492024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203138557">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Casari, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Memory-Based Logic Synthesisent://SD_ILS/0/SD_ILS:1730662024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The science of logicent://SD_ILS/0/SD_ILS:1445262024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic design of nanoICsent://SD_ILS/0/SD_ILS:2867842024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420038293">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:1753162024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy logic in geologyent://SD_ILS/0/SD_ILS:2552822024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Demicco, Robert V. Klir, George J., 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124151468">http://www.sciencedirect.com/science/book/9780124151468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Thought and Languageent://SD_ILS/0/SD_ILS:2360782024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor O'Hear, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550287">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy logic in chemistryent://SD_ILS/0/SD_ILS:2525832024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rouvray, D. H.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125989107">http://www.sciencedirect.com/science/book/9780125989107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Molecular logic-based computationent://SD_ILS/0/SD_ILS:3430592024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Silva, A. Prasanna de.<br/>Preferred Shelf Number ONLINE(343059.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Williams, H. Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Eijck, J. van (Jan) Visser, Albert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic IC master referenceent://SD_ILS/0/SD_ILS:2549082024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Heiserman, David L., 1940-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123380500">http://www.sciencedirect.com/science/book/9780123380500</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, automata, and algorithmsent://SD_ILS/0/SD_ILS:2572392024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Aĭzerman, M. A. (Mark Aronovich), 1913-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:2057162024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A grammatical view of logic programmingent://SD_ILS/0/SD_ILS:2202472024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Deransart, Pierre. Małuszyński, J. (Jan), 1941-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Gentzen Calculi for Modal Propositional Logicent://SD_ILS/0/SD_ILS:2055572024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Philosophical Logic Volume 16ent://SD_ILS/0/SD_ILS:2058562024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:2565432024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Benthem, Johan van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Philosophical Logic Volume 15ent://SD_ILS/0/SD_ILS:2058582024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Companion to philosophical logicent://SD_ILS/0/SD_ILS:3000812024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Jacquette, Dale. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470996751">http://dx.doi.org/10.1002/9780470996751</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Greek, Indian, and Arabic logicent://SD_ILS/0/SD_ILS:2566012024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504661">http://www.sciencedirect.com/science/book/9780444504661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Li, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Categorical logic and type theoryent://SD_ILS/0/SD_ILS:2565352024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Jacobs, Bart.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501707">http://www.sciencedirect.com/science/book/9780444501707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and techniques in modal logicent://SD_ILS/0/SD_ILS:2565492024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kracht, Marcus.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500557">http://www.sciencedirect.com/science/book/9780444500557</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intuitionistic logic, model theory and forcingent://SD_ILS/0/SD_ILS:2572252024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Fitting, Melvin, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of mathematical logic (Model theory)ent://SD_ILS/0/SD_ILS:2572142024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A survey of mathematical logicent://SD_ILS/0/SD_ILS:2573542024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Wang, Hao, 1921-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Truth and consequence in mediaeval logicent://SD_ILS/0/SD_ILS:2572752024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Moody, Ernest A. (Ernest Addison), 1903-1975.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533760">http://www.sciencedirect.com/science/book/9780444533760</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The propositional logic of Boethiusent://SD_ILS/0/SD_ILS:2573162024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Dürr, Karl, 1888-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533661">http://www.sciencedirect.com/science/book/9780444533661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An essay in modal logicent://SD_ILS/0/SD_ILS:2573452024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Wright, G. H. von (Georg Henrik), 1916-2003.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533708">http://www.sciencedirect.com/science/book/9780444533708</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming languages constraints, functions, and objectsent://SD_ILS/0/SD_ILS:2202242024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Pro 9 audio and music productionent://SD_ILS/0/SD_ILS:1479102024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Cousins, Mark, 1972- Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Second Scandinavian Logic Symposiument://SD_ILS/0/SD_ILS:2572222024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422597">http://www.sciencedirect.com/science/book/9780720422597</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>R-Calculus, IV: Propositional Logicent://SD_ILS/0/SD_ILS:5203832024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520383.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic of analog and digital machinesent://SD_ILS/0/SD_ILS:2814652024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rocchi, Paolo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Mechanical logic in three-dimensional spaceent://SD_ILS/0/SD_ILS:3426122024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Auletta, Gennaro, author.<br/>Preferred Shelf Number ONLINE(342612.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9789814411516">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:3318532024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Purgatory the logic of total transformationent://SD_ILS/0/SD_ILS:2336272024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Walls, Jerry L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Digital logic design a rigorous approachent://SD_ILS/0/SD_ILS:2804002024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Even, Guy. Medina, Moti, 1979-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatory logic pure, applied and typedent://SD_ILS/0/SD_ILS:2851212024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bimb,̤ Katalin, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic : the laws of truthent://SD_ILS/0/SD_ILS:3762482024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Circuit Design Selected Methodsent://SD_ILS/0/SD_ILS:1962632024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Vingron, Shimon P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1734602024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and the Organization of Informationent://SD_ILS/0/SD_ILS:1741902024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Frické, Martin. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of logic and languageent://SD_ILS/0/SD_ILS:1481462024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The logic of positive engagementent://SD_ILS/0/SD_ILS:3761322024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Nincic, Miroslav.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7591/j.ctt7v74h">http://www.jstor.org/stable/10.7591/j.ctt7v74h</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modality metaphysics, logic, and epistemologyent://SD_ILS/0/SD_ILS:2335132024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hale, Bob, 1945- Hoffmann, Aviv.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Data integration the relational logic approachent://SD_ILS/0/SD_ILS:2791492024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Genesereth, Michael R., 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy logic and hydrological modelingent://SD_ILS/0/SD_ILS:2878982024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor ?en, Zekí.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic the question of truthent://SD_ILS/0/SD_ILS:2455162024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy logic with engineering applicationsent://SD_ILS/0/SD_ILS:3041422024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ross, Timothy J. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Neural Cell Behavior and Fuzzy Logicent://SD_ILS/0/SD_ILS:1646852024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:1855372024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1755932024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Elementary Logic For Software Developmentent://SD_ILS/0/SD_ILS:1757022024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lover, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Srivastava, S. M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Extensionalism The Revolution in Logicent://SD_ILS/0/SD_ILS:1700542024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bar-Am, Nimrod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Fuzzy Logic using MATLABent://SD_ILS/0/SD_ILS:1843052024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Quantifiers in language and logicent://SD_ILS/0/SD_ILS:2335492024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Peters, Stanley, 1941- Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Theories of Judgment Psychology, Logic, Phenomenologyent://SD_ILS/0/SD_ILS:2385632024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Martin, Wayne.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487613">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy logic and the semantic webent://SD_ILS/0/SD_ILS:2537232024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sanchez, Elie, 1944-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444519481">http://www.sciencedirect.com/science/book/9780444519481</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1660202024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic Applications in Engineering Scienceent://SD_ILS/0/SD_ILS:1690752024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Rigid Flexibility The Logic of Intelligenceent://SD_ILS/0/SD_ILS:1693552024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Wang, Pei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Grounded Consequence for Defeasible Logicent://SD_ILS/0/SD_ILS:2349602024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Antonelli, Aldo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498411">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Philosophical Logic, 2nd Editionent://SD_ILS/0/SD_ILS:1521502024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic, Identification and Predictive Controlent://SD_ILS/0/SD_ILS:1752202024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic in Financial Analysisent://SD_ILS/0/SD_ILS:1833112024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Relevant Logic A Philosophical Interpretationent://SD_ILS/0/SD_ILS:2355032024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Mares, Edwin D..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511520006">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear Logic in Computer Scienceent://SD_ILS/0/SD_ILS:2377362024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550850">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy logic for embedded systems applicationsent://SD_ILS/0/SD_ILS:2542062024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ibrahim, Ahmad M., 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750676052">http://www.sciencedirect.com/science/book/9780750676052</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetics and the logic of evolutionent://SD_ILS/0/SD_ILS:3015712024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Design of logic-based intelligent systemsent://SD_ILS/0/SD_ILS:3017322024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Truemper, K., 1942- John Wiley & Sons, Inc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Arithmetic and logic in computer systemsent://SD_ILS/0/SD_ILS:3017532024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lu, Mi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Probability Theory The Logic of Scienceent://SD_ILS/0/SD_ILS:2373572024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Jaynes, E. T.. Bretthorst, G. Larry.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511790423">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verilog coding for logic synthesisent://SD_ILS/0/SD_ILS:3015082024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lee, Weng Fook. John Wiley & Sons, Inc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Digital logic testing and simulationent://SD_ILS/0/SD_ILS:3015092024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Miczo, Alexander.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Logic of Concept Expansionent://SD_ILS/0/SD_ILS:2348802024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Buzaglo, Meir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487460">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The logic of knowledge basesent://SD_ILS/0/SD_ILS:2199652024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Levesque, Hector J., 1951- Lakemeyer, Gerhard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Air logic control for automated systemsent://SD_ILS/0/SD_ILS:2849692024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Wojtecki, Rudy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420050110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The essence of logic circuitsent://SD_ILS/0/SD_ILS:2497402024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Unger, Stephen H., 1931-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From logic to logic programmingent://SD_ILS/0/SD_ILS:2201992024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Doets, Kees.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic testing and design for testabilityent://SD_ILS/0/SD_ILS:2201532024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Fujiwara, Hideo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and the basis of ethicsent://SD_ILS/0/SD_ILS:2337112024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Prior, A. N. (Arthur N.), 1914-1969.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Pro 8 audio and music productionent://SD_ILS/0/SD_ILS:1479312024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Cousins, Mark. Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520476">http://www.sciencedirect.com/science/book/9780240520476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of digital logic and microcomputer designent://SD_ILS/0/SD_ILS:3017662024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rafiquzzaman, Mohamed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic on the track of social changeent://SD_ILS/0/SD_ILS:2346842024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Braybrooke, David. Brown, Bryson. Schotch, Peter K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Judgement and the Epistemic Foundation of Logicent://SD_ILS/0/SD_ILS:3358952024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor van der Schaar, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335895.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>McGraw-Hill's conquering LSAT logic gamesent://SD_ILS/0/SD_ILS:2940452024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984ent://SD_ILS/0/SD_ILS:2569572024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879998">http://www.sciencedirect.com/science/book/9780444879998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202832024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1997 International Symposiument://SD_ILS/0/SD_ILS:2202732024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of quantum logic and quantum structures quantum logicent://SD_ILS/0/SD_ILS:1454482024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Inductive logic programming from machine learning to software engineeringent://SD_ILS/0/SD_ILS:2202672024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bergadano, Francesco, 1963- Gunetti, Daniele.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the twelfth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202752024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sterling, Leon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the eleventh International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202292024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Van Hentenryck, Pascal.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982ent://SD_ILS/0/SD_ILS:2568382024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444868763">http://www.sciencedirect.com/science/book/9780444868763</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976ent://SD_ILS/0/SD_ILS:2573062024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720406917">http://www.sciencedirect.com/science/book/9780720406917</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logicent://SD_ILS/0/SD_ILS:2572342024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874559">http://www.sciencedirect.com/science/book/9780444874559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880222">http://www.sciencedirect.com/science/book/9780444880222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702111">http://www.sciencedirect.com/science/book/9780444702111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864178">http://www.sciencedirect.com/science/book/9780444864178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864765">http://www.sciencedirect.com/science/book/9780444864765</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853783">http://www.sciencedirect.com/science/book/9780444853783</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977ent://SD_ILS/0/SD_ILS:2572592024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851789">http://www.sciencedirect.com/science/book/9780444851789</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IVent://SD_ILS/0/SD_ILS:1704322024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981ent://SD_ILS/0/SD_ILS:2569552024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444867063">http://www.sciencedirect.com/science/book/9780444867063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966ent://SD_ILS/0/SD_ILS:2573182024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104915">http://www.sciencedirect.com/science/book/9780444104915</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444893413">http://www.sciencedirect.com/science/book/9780444893413</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444705204">http://www.sciencedirect.com/science/book/9780444705204</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854230">http://www.sciencedirect.com/science/book/9780444854230</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534163">http://www.sciencedirect.com/science/book/9780444534163</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, methodology and philosophy of science proceedings of the 1960 international congressent://SD_ILS/0/SD_ILS:2572852024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780804700962">http://www.sciencedirect.com/science/book/9780804700962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced fuzzy logic approaches in engineering scienceent://SD_ILS/0/SD_ILS:4817622024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ram, Mangey, editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Later medieval metaphysics ontology, language, and logicent://SD_ILS/0/SD_ILS:2399042024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Keele, Rondo, 1968- Bolyard, Charles. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Fuzzy Sets and Fuzzy Logicent://SD_ILS/0/SD_ILS:3339502024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bede, Barnabas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333950.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards a Design Flow for Reversible Logicent://SD_ILS/0/SD_ILS:2055302024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Linguistic Fuzzy Logic Methods in Social Sciencesent://SD_ILS/0/SD_ILS:1923052024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Arfi, Badredine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Manin, Yu. I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Truth, etc. six lectures on ancient logicent://SD_ILS/0/SD_ILS:2336432024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Barnes, Jonathan, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Practical Logic and Automated Reasoningent://SD_ILS/0/SD_ILS:2372062024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Harrison, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The theory of gambling and statistical logicent://SD_ILS/0/SD_ILS:1469192024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Epstein, Richard A., 1927-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123749406">http://www.sciencedirect.com/science/book/9780123749406</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge-Based Neurocomputing: A Fuzzy Logic Approachent://SD_ILS/0/SD_ILS:1889852024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Synthesis for FSM-Based Control Unitsent://SD_ILS/0/SD_ILS:1909052024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Functions and Equations Examples and Exercisesent://SD_ILS/0/SD_ILS:1705832024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mechatronic system control, logic, and data acquisitionent://SD_ILS/0/SD_ILS:2874682024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bishop, Robert H., 1957-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420009026">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Synthesis for Compositional Microprogram Control Unitsent://SD_ILS/0/SD_ILS:1857662024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Type-2 Fuzzy Logic: Theory and Applicationsent://SD_ILS/0/SD_ILS:1875642024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:1882002024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Fuzzy Logic Technologies in Industrial Applicationsent://SD_ILS/0/SD_ILS:1754302024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Fuzzy Logic and Chaos Theoryent://SD_ILS/0/SD_ILS:1834082024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computation Engineering Applied Automata Theory and Logicent://SD_ILS/0/SD_ILS:1658582024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Tieszen, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantifying Environmental Impact Assessments Using Fuzzy Logicent://SD_ILS/0/SD_ILS:1654682024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Shepard, Richard B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Infinite words automata, semigroups, logic and gamesent://SD_ILS/0/SD_ILS:2566562024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Perrin, Dominique. Pin, Jean Eric.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125321112">http://www.sciencedirect.com/science/book/9780125321112</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VHDL coding and logic synthesis with Synopsysent://SD_ILS/0/SD_ILS:2536882024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lee, Weng Fook.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124406513">http://www.sciencedirect.com/science/book/9780124406513</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High-performance system design circuits and logicent://SD_ILS/0/SD_ILS:2495992024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Mitsubishi FX programmable logic controllers applications and programmingent://SD_ILS/0/SD_ILS:2564322024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750656795">http://www.sciencedirect.com/science/book/9780750656795</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:5202592024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520259.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to practical formal methods using temporal logicent://SD_ILS/0/SD_ILS:3057032024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Fisher, Michael, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patternsent://SD_ILS/0/SD_ILS:1702502024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479622024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1479812024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1480372024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The many valued and non-monotonic turn in logicent://SD_ILS/0/SD_ILS:1481632024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and the modalities in the twentieth centuryent://SD_ILS/0/SD_ILS:2566262024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of the logic of argument and inference the turn towards the practicalent://SD_ILS/0/SD_ILS:2566062024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gabbay, Dov M., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Between Logic and Reality Modeling Inference, Action and Understandingent://SD_ILS/0/SD_ILS:2063512024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logicent://SD_ILS/0/SD_ILS:2053232024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactionsent://SD_ILS/0/SD_ILS:1701552024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic based on Schaum's Outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939042024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-easy-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Methodent://SD_ILS/0/SD_ILS:3361572024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Cellucci, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336157.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Games, Norms and Reasons Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2059242024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ye, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Schaum's outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939592024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Pejrolo, Andrea.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240522166">http://www.sciencedirect.com/science/book/9780240522166</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Centrone, Stefania. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithmsent://SD_ILS/0/SD_ILS:2496412024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Akay, Metin. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryent://SD_ILS/0/SD_ILS:2571662024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hailperin, Theodore.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879523">http://www.sciencedirect.com/science/book/9780444879523</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model theory for infinitary logic logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:2572532024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Keisler, H. Jerome.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534156">http://www.sciencedirect.com/science/book/9780444534156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1999 International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202712024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the Fourteenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2201632024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programmingent://SD_ILS/0/SD_ILS:2202722024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>WAIC and WBIC with R Stan 100 Exercises for Building Logicent://SD_ILS/0/SD_ILS:5207172024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Suzuki, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520717.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520731.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520823.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520827.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520880.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521080.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521191.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211922024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521192.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521245.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521257.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212592024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521259.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213762024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521376.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521384.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4829792024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic Functions and Equations Binary Models for Computer Scienceent://SD_ILS/0/SD_ILS:4836332024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Logic Circuits & Logic Design with Verilogent://SD_ILS/0/SD_ILS:4849152024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Silva, Josep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Logic Circuits & Logic Design with VHDLent://SD_ILS/0/SD_ILS:4858182024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861692024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Representation Theorems in Computer Science A Treatment in Logic Engineeringent://SD_ILS/0/SD_ILS:4863682024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Özçep, Özgür Lütfü. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Design Automation for Differential MOS Current-Mode Logic Circuitsent://SD_ILS/0/SD_ILS:4867032024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994762024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Barkalov, Alexander. author. Titarenko, Larysa. author. Bieganowski, Jacek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic in Intelligent System Design Theory and Applicationsent://SD_ILS/0/SD_ILS:4005792024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011102024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applicationsent://SD_ILS/0/SD_ILS:4013922024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logicent://SD_ILS/0/SD_ILS:4018072024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contributionent://SD_ILS/0/SD_ILS:4024292024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Digital electronics 2 : sequential and arithmetic logic circuitsent://SD_ILS/0/SD_ILS:4243022024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Ndjountche, Tertulien.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1002/9781119329756">Wiley Online Library</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518775.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.<br/>Preferred Shelf Number XX(518853.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number XX(518949.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519040.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519102.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519103.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191182024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519118.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519137.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5192682024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519268.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.<br/>Preferred Shelf Number XX(519274.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519276.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519293.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518861.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Seizing power the strategic logic of military coupsent://SD_ILS/0/SD_ILS:3229552024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Singh, Naunihal. Project Muse.<br/>Preferred Shelf Number ONLINE(322955.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781421413372/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kehoe, Genevieve M., 1979- author. Project Muse.<br/>Preferred Shelf Number ONLINE(322990.1)<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781623491604/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to type-2 fuzzy logic control : theory and applicationsent://SD_ILS/0/SD_ILS:3419472024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.<br/>Preferred Shelf Number ONLINE(341947.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Building a programmable logic controller with a PIC16F648A microcontrollerent://SD_ILS/0/SD_ILS:3425762024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Uzam, Murat, author.<br/>Preferred Shelf Number ONLINE(342576.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466589865">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of fuzzy logic and semantic web languagesent://SD_ILS/0/SD_ILS:3427522024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Straccia, Umberto.<br/>Preferred Shelf Number ONLINE(342752.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439853481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papersent://SD_ILS/0/SD_ILS:4827332024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4855852024-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09-12T17:38:13Z2024-09-12T17:38:13ZAuthor Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>