Search Results for Logic. - Narrowed by: E-BookSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-03T07:01:33ZComputational logicent://SD_ILS/0/SD_ILS:3553472024-09-03T07:01:33Z2024-09-03T07:01:33ZPreferred 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Memory-Based Logic Synthesisent://SD_ILS/0/SD_ILS:1730662024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Aspects of Mathematical Logicent://SD_ILS/0/SD_ILS:1915712024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>The science of logicent://SD_ILS/0/SD_ILS:1445262024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Tools and techniques in modal logicent://SD_ILS/0/SD_ILS:2565492024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Categorical logic and type theoryent://SD_ILS/0/SD_ILS:2565352024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Intuitionistic logic, model theory and forcingent://SD_ILS/0/SD_ILS:2572252024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Combinatory logic pure, applied and typedent://SD_ILS/0/SD_ILS:2851212024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Purgatory the logic of total transformationent://SD_ILS/0/SD_ILS:2336272024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1734602024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic and the Organization of Informationent://SD_ILS/0/SD_ILS:1741902024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic Circuit Design Selected Methodsent://SD_ILS/0/SD_ILS:1962632024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 : the laws of truthent://SD_ILS/0/SD_ILS:3762482024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Data integration the relational logic approachent://SD_ILS/0/SD_ILS:2791492024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 with engineering applicationsent://SD_ILS/0/SD_ILS:3041422024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy logic and hydrological modelingent://SD_ILS/0/SD_ILS:2878982024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor ?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/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Modality metaphysics, logic, and epistemologyent://SD_ILS/0/SD_ILS:2335132024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic the question of truthent://SD_ILS/0/SD_ILS:2455162024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Neural Cell Behavior and Fuzzy Logicent://SD_ILS/0/SD_ILS:1646852024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:1673202024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:1755932024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:1855372024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Introduction to Fuzzy Logic using MATLABent://SD_ILS/0/SD_ILS:1843052024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy logic and the semantic webent://SD_ILS/0/SD_ILS:2537232024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Theories of Judgment Psychology, Logic, Phenomenologyent://SD_ILS/0/SD_ILS:2385632024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 Applications in Engineering Scienceent://SD_ILS/0/SD_ILS:1690752024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy Logic in Financial Analysisent://SD_ILS/0/SD_ILS:1833112024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy Logic, Identification and Predictive Controlent://SD_ILS/0/SD_ILS:1752202024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Handbook of Philosophical Logic, 2nd Editionent://SD_ILS/0/SD_ILS:1521502024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Arithmetic and logic in computer systemsent://SD_ILS/0/SD_ILS:3017532024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy logic for embedded systems applicationsent://SD_ILS/0/SD_ILS:2542062024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Relevant Logic A Philosophical Interpretationent://SD_ILS/0/SD_ILS:2355032024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Verilog coding for logic synthesisent://SD_ILS/0/SD_ILS:3015082024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Probability Theory The Logic of Scienceent://SD_ILS/0/SD_ILS:2373572024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>The Logic of Concept Expansionent://SD_ILS/0/SD_ILS:2348802024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987ent://SD_ILS/0/SD_ILS:2570892024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988ent://SD_ILS/0/SD_ILS:2569582024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 '85 proceedings of the colloquium held in Orsay, France July 1985ent://SD_ILS/0/SD_ILS:2572462024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980ent://SD_ILS/0/SD_ILS:2570862024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981ent://SD_ILS/0/SD_ILS:2569532024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978ent://SD_ILS/0/SD_ILS:2572332024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Towards a Design Flow for Reversible Logicent://SD_ILS/0/SD_ILS:2055302024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Handbook of Practical Logic and Automated Reasoningent://SD_ILS/0/SD_ILS:2372062024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Truth, etc. six lectures on ancient logicent://SD_ILS/0/SD_ILS:2336432024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Knowledge-Based Neurocomputing: A Fuzzy Logic Approachent://SD_ILS/0/SD_ILS:1889852024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>The theory of gambling and statistical logicent://SD_ILS/0/SD_ILS:1469192024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic Synthesis for FSM-Based Control Unitsent://SD_ILS/0/SD_ILS:1909052024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:1882002024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Type-2 Fuzzy Logic: Theory and Applicationsent://SD_ILS/0/SD_ILS:1875642024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic Synthesis for Compositional Microprogram Control Unitsent://SD_ILS/0/SD_ILS:1857662024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Integration of Fuzzy Logic and Chaos Theoryent://SD_ILS/0/SD_ILS:1834082024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Advanced Fuzzy Logic Technologies in Industrial Applicationsent://SD_ILS/0/SD_ILS:1754302024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Quantifying Environmental Impact Assessments Using Fuzzy Logicent://SD_ILS/0/SD_ILS:1654682024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Phenomenology, Logic, and the Philosophy of Mathematicsent://SD_ILS/0/SD_ILS:2370472024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Infinite words automata, semigroups, logic and gamesent://SD_ILS/0/SD_ILS:2566562024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Schaum's outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939592024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubaseent://SD_ILS/0/SD_ILS:1475172024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Strict Finitism and the Logic of Mathematical Applicationsent://SD_ILS/0/SD_ILS:2060412024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213762024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>WAIC and WBIC with R Stan 100 Exercises for Building Logicent://SD_ILS/0/SD_ILS:5207172024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212452024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4829792024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Introduction to Logic Circuits & Logic Design with Verilogent://SD_ILS/0/SD_ILS:4849152024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861692024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Design Automation for Differential MOS Current-Mode Logic Circuitsent://SD_ILS/0/SD_ILS:4867032024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Representation Theorems in Computer Science A Treatment in Logic Engineeringent://SD_ILS/0/SD_ILS:4863682024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor Ö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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic Functions and Equations Binary Models for Computer Scienceent://SD_ILS/0/SD_ILS:4836332024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy Logic in Intelligent System Design Theory and Applicationsent://SD_ILS/0/SD_ILS:4005792024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logicent://SD_ILS/0/SD_ILS:4018072024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017552024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logicent://SD_ILS/0/SD_ILS:4025082024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applicationsent://SD_ILS/0/SD_ILS:4013922024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contributionent://SD_ILS/0/SD_ILS:4024292024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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 Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challengesent://SD_ILS/0/SD_ILS:4001692024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Digital electronics 2 : sequential and arithmetic logic circuitsent://SD_ILS/0/SD_ILS:4243022024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5192682024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentinaent://SD_ILS/0/SD_ILS:3229902024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Seizing power the strategic logic of military coupsent://SD_ILS/0/SD_ILS:3229552024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Introduction to type-2 fuzzy logic control : theory and applicationsent://SD_ILS/0/SD_ILS:3419472024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papersent://SD_ILS/0/SD_ILS:4827332024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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-03T07:01:33Z2024-09-03T07:01:33ZAuthor 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/>Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857832024-09-03T07:01:33Z2024-09-03T07:01:33ZAuthor Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>