Search Results for Logic - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-12T19:10:41ZComputational logicent://SD_ILS/0/SD_ILS:3553472024-09-12T19:10:41Z2024-09-12T19:10:41ZPreferred 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor ?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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor Ö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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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-12T19:10:41Z2024-09-12T19:10:41ZAuthor 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/>