Search Results for Logic. - Narrowed by: Electronic Library

Computational logic

2024-11-23T23:07:45Z

Preferred Shelf Number ONLINE(355347.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
Format: Electronic Resources
Availability Online Library~1

Combinatory logic

2024-11-23T23:07:45Z

Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533876
Format: Electronic Resources
Availability Online Library~1

Logic demystified

2024-11-23T23:07:45Z

Author Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Mathematical logic

2024-11-23T23:07:45Z

Author Tourlakis, George J.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118032435
Format: Electronic Resources
Availability Online Library~1

Logic design

2024-11-23T23:07:45Z

Author Chen, Wai-Kai, 1936-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Mathematical logic

2024-11-23T23:07:45Z

Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504234
Format: Electronic Resources
Availability Online Library~1

Dynamic logic

2024-11-23T23:07:45Z

Author Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: Electronic Resources
Availability Online Library~1

Formal logic

2024-11-23T23:07:45Z

Author Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2007

2024-11-23T23:07:45Z

Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2006

2024-11-23T23:07:45Z

Author Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 2005

2024-11-23T23:07:45Z

Author Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Dynamic Epistemic Logic

2024-11-23T23:07:45Z

Author Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources
Availability Online Library~1

Computability, complexity, logic

2024-11-23T23:07:45Z

Author Börger, E. (Egon), 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: Electronic Resources
Availability Online Library~1

Ancient formal logic

2024-11-23T23:07:45Z

Author Bochenski, Joseph M., 1902-1995.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: Electronic Resources
Availability Online Library~1

Logic and Structure

2024-11-23T23:07:45Z

Author Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331010.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: Electronic Resources
Availability Online Library~1

Logic the basics

2024-11-23T23:07:45Z

Author Beall, J. C.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Philosophy of logic

2024-11-23T23:07:45Z

Author Jacquette, Dale.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: Electronic Resources
Availability Online Library~1

Digital logic design

2024-11-23T23:07:45Z

Author Holdsworth, B. (Brian) Woods, R. C. (R. Clive)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750645829
Format: Electronic Resources
Availability Online Library~1

Advanced Logic Synthesis

2024-11-23T23:07:45Z

Author Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67295-3
Format: Electronic Resources
Availability Online Library~1

Logic in games

2024-11-23T23:07:45Z

Author Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364947.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: Electronic Resources
Availability Online Library~1

Synchronous precharge logic

2024-11-23T23:07:45Z

Author Smoszna, Marek.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123985279
Format: Electronic Resources
Availability Online Library~1

Introduction to logic

2024-11-23T23:07:45Z

Author Gensler, Harry J., 1945-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Programmable logic controllers

2024-11-23T23:07:45Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: Electronic Resources
Availability Online Library~1

Stochastic Coalgebraic Logic

2024-11-23T23:07:45Z

Author Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Electronic Resources
Availability Online Library~1

Logic in Reality

2024-11-23T23:07:45Z

Author Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: Electronic Resources
Availability Online Library~1

Programmable logic controllers

2024-11-23T23:07:45Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: Electronic Resources
Availability Online Library~1

Fuzzy Equational Logic

2024-11-23T23:07:45Z

Author Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105121
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic

2024-11-23T23:07:45Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic

2024-11-23T23:07:45Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3092-4
Format: Electronic Resources
Availability Online Library~1

Handbook of modal logic

2024-11-23T23:07:45Z

Author Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: Electronic Resources
Availability Online Library~1

Logic, Thought and Action

2024-11-23T23:07:45Z

Author Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3167-X
Format: Electronic Resources
Availability Online Library~1

Paraconsistency: Logic and Applications

2024-11-23T23:07:45Z

Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335759.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources
Availability Online Library~1

Logic for Computer Scientists

2024-11-23T23:07:45Z

Author Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Electronic Resources
Availability Online Library~1

Aspects of inductive logic

2024-11-23T23:07:45Z

Author Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: Electronic Resources
Availability Online Library~1

Combinatory logic. Volume II

2024-11-23T23:07:45Z

Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: Electronic Resources
Availability Online Library~1

VHDL for logic synthesis

2024-11-23T23:07:45Z

Author Rushton, Andrew.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=41715 John Wiley http://dx.doi.org/10.1002/9781119995852 http://proquest.safaribooksonline.com/?fpi=9780470688472 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg http://proquest.safaribooksonline.com/9780470688472
Format: Electronic Resources
Availability Online Library~1

Studies in Legal Logic

2024-11-23T23:07:45Z

Author Hage, Jaap. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3552-7
Format: Electronic Resources
Availability Online Library~1

Introduction to medieval logic

2024-11-23T23:07:45Z

Author Broadie, Alexander.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2024-11-23T23:07:45Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331207.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources
Availability Online Library~1

Logic: A Brief Course

2024-11-23T23:07:45Z

Author Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-2361-1
Format: Electronic Resources
Availability Online Library~1

The logic of education

2024-11-23T23:07:45Z

Author Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Memory-Based Logic Synthesis

2024-11-23T23:07:45Z

Author Sasao, Tsutomu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: Electronic Resources
Availability Online Library~1

Aspects of Mathematical Logic

2024-11-23T23:07:45Z

Author Casari, E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11080-1
Format: Electronic Resources
Availability Online Library~1

The science of logic

2024-11-23T23:07:45Z

Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2024-11-23T23:07:45Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-212-8
Format: Electronic Resources
Availability Online Library~1

Logic design of nanoICs

2024-11-23T23:07:45Z

Author Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic in geology

2024-11-23T23:07:45Z

Author Demicco, Robert V. Klir, George J., 1932-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124151468
Format: Electronic Resources
Availability Online Library~1

Logic, Thought and Language

2024-11-23T23:07:45Z

Author O'Hear, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic in chemistry

2024-11-23T23:07:45Z

Author Rouvray, D. H.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780125989107
Format: Electronic Resources
Availability Online Library~1

Molecular logic-based computation

2024-11-23T23:07:45Z

Author Silva, A. Prasanna de.
Preferred Shelf Number ONLINE(343059.1)
Electronic Access Check for Full Text Access restricted: MSVU users only Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021 ebrary http://site.ebrary.com/id/10640412 http://swb.eblib.com/patron/FullRecord.aspx?p=1185759
Format: Electronic Resources
Availability Online Library~1

Logic and Integer Programming

2024-11-23T23:07:45Z

Author Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-92280-5
Format: Electronic Resources
Availability Online Library~1

Logic and information flow

2024-11-23T23:07:45Z

Author Eijck, J. van (Jan) Visser, Albert.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Electronic Resources
Availability Online Library~1

Logic IC master reference

2024-11-23T23:07:45Z

Author Heiserman, David L., 1940-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: Electronic Resources
Availability Online Library~1

Logic, automata, and algorithms

2024-11-23T23:07:45Z

Author Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: Electronic Resources
Availability Online Library~1

Hybrid Logic and its Proof-Theory

2024-11-23T23:07:45Z

Author Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0002-4
Format: Electronic Resources
Availability Online Library~1

A grammatical view of logic programming

2024-11-23T23:07:45Z

Author Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: Electronic Resources
Availability Online Library~1

Gentzen Calculi for Modal Propositional Logic

2024-11-23T23:07:45Z

Author Poggiolesi, Francesca. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9670-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic Volume 16

2024-11-23T23:07:45Z

Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0479-4
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2024-11-23T23:07:45Z

Author Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic Volume 15

2024-11-23T23:07:45Z

Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0485-5
Format: Electronic Resources
Availability Online Library~1

A Companion to philosophical logic

2024-11-23T23:07:45Z

Author Jacquette, Dale. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470996751
Format: Electronic Resources
Availability Online Library~1

Greek, Indian, and Arabic logic

2024-11-23T23:07:45Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: Electronic Resources
Availability Online Library~1

Games: Unifying Logic, Language, and Philosophy

2024-11-23T23:07:45Z

Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic Foundations for Information Science

2024-11-23T23:07:45Z

Author Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Electronic Resources
Availability Online Library~1

Categorical logic and type theory

2024-11-23T23:07:45Z

Author Jacobs, Bart.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: Electronic Resources
Availability Online Library~1

Tools and techniques in modal logic

2024-11-23T23:07:45Z

Author Kracht, Marcus.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444500557
Format: Electronic Resources
Availability Online Library~1

Intuitionistic logic, model theory and forcing

2024-11-23T23:07:45Z

Author Fitting, Melvin, 1942-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: Electronic Resources
Availability Online Library~1

Elements of mathematical logic (Model theory)

2024-11-23T23:07:45Z

Author Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: Electronic Resources
Availability Online Library~1

A survey of mathematical logic

2024-11-23T23:07:45Z

Author Wang, Hao, 1921-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: Electronic Resources
Availability Online Library~1

Truth and consequence in mediaeval logic

2024-11-23T23:07:45Z

Author Moody, Ernest A. (Ernest Addison), 1903-1975.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533760
Format: Electronic Resources
Availability Online Library~1

The propositional logic of Boethius

2024-11-23T23:07:45Z

Author Dürr, Karl, 1888-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
Format: Electronic Resources
Availability Online Library~1

An essay in modal logic

2024-11-23T23:07:45Z

Author Wright, G. H. von (Georg Henrik), 1916-2003.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533708
Format: Electronic Resources
Availability Online Library~1

Logic programming languages constraints, functions, and objects

2024-11-23T23:07:45Z

Author Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: Electronic Resources
Availability Online Library~1

Logic Pro 9 audio and music production

2024-11-23T23:07:45Z

Author Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Second Scandinavian Logic Symposium

2024-11-23T23:07:45Z

Author Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422597
Format: Electronic Resources
Availability Online Library~1

R-Calculus, IV: Propositional Logic

2024-11-23T23:07:45Z

Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number XX(520383.1)
Electronic Access https://doi.org/10.1007/978-981-19-8633-8
Format: Electronic Resources
Availability Online Library~1

Mechanical logic in three-dimensional space

2024-11-23T23:07:45Z

Author Auletta, Gennaro, author.
Preferred Shelf Number ONLINE(342612.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic of analog and digital machines

2024-11-23T23:07:45Z

Author Rocchi, Paolo.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2024-11-23T23:07:45Z

Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-11-23T23:07:45Z

Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331853.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2024-11-23T23:07:45Z

Author Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic for Computer Science

2024-11-23T23:07:45Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources
Availability Online Library~1

Logic and the Organization of Information

2024-11-23T23:07:45Z

Author Frické, Martin. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3088-9
Format: Electronic Resources
Availability Online Library~1

Logic Circuit Design Selected Methods

2024-11-23T23:07:45Z

Author Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27657-6
Format: Electronic Resources
Availability Online Library~1

Purgatory the logic of total transformation

2024-11-23T23:07:45Z

Author Walls, Jerry L.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001
Format: Electronic Resources
Availability Online Library~1

Digital logic design a rigorous approach

2024-11-23T23:07:45Z

Author Even, Guy. Medina, Moti, 1979-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549
Format: Electronic Resources
Availability Online Library~1

Combinatory logic pure, applied and typed

2024-11-23T23:07:45Z

Author Bimb,̤ Katalin, 1963-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic : the laws of truth

2024-11-23T23:07:45Z

Author Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2024-11-23T23:07:45Z

Author Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Electronic Resources
Availability Online Library~1

Mathematical aspects of logic programming semantics

2024-11-23T23:07:45Z

Author Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The logic of positive engagement

2024-11-23T23:07:45Z

Author Nincic, Miroslav.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7591/j.ctt7v74h
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2024-11-23T23:07:45Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1221-3
Format: Electronic Resources
Availability Online Library~1

Modality metaphysics, logic, and epistemology

2024-11-23T23:07:45Z

Author Hale, Bob, 1945- Hoffmann, Aviv.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic the question of truth

2024-11-23T23:07:45Z

Author Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic with engineering applications

2024-11-23T23:07:45Z

Author Ross, Timothy J. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119994374 http://site.ebrary.com/lib/alltitles/Doc?id=10358927
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic and hydrological modeling

2024-11-23T23:07:45Z

Author ?en, Zekí.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Data integration the relational logic approach

2024-11-23T23:07:45Z

Author Genesereth, Michael R., 1948-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318
Format: Electronic Resources
Availability Online Library~1

Neural Cell Behavior and Fuzzy Logic

2024-11-23T23:07:45Z

Author Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09543-1
Format: Electronic Resources
Availability Online Library~1

Extensionalism The Revolution in Logic

2024-11-23T23:07:45Z

Author Bar-Am, Nimrod. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-11-23T23:07:45Z

Author Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76277-7
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2024-11-23T23:07:45Z

Author Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-845-6
Format: Electronic Resources
Availability Online Library~1

Elementary Logic For Software Development

2024-11-23T23:07:45Z

Author Lover, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-082-7
Format: Electronic Resources
Availability Online Library~1

Temporal Logic and State Systems

2024-11-23T23:07:45Z

Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Fuzzy Logic using MATLAB

2024-11-23T23:07:45Z

Author Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35781-0
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Mathematical Logic

2024-11-23T23:07:45Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Applications in Engineering Science

2024-11-23T23:07:45Z

Author Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4078-4
Format: Electronic Resources
Availability Online Library~1

Rigid Flexibility The Logic of Intelligence

2024-11-23T23:07:45Z

Author Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5045-3
Format: Electronic Resources
Availability Online Library~1

Theories of Judgment Psychology, Logic, Phenomenology

2024-11-23T23:07:45Z

Author Martin, Wayne.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Quantifiers in language and logic

2024-11-23T23:07:45Z

Author Peters, Stanley, 1941- Westerståhl, Dag, 1946-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic and the semantic web

2024-11-23T23:07:45Z

Author Sanchez, Elie, 1944-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444519481
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic, Identification and Predictive Control

2024-11-23T23:07:45Z

Author Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138626
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic, 2nd Edition

2024-11-23T23:07:45Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3521-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Financial Analysis

2024-11-23T23:07:45Z

Author Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32368-6
Format: Electronic Resources
Availability Online Library~1

Grounded Consequence for Defeasible Logic

2024-11-23T23:07:45Z

Author Antonelli, Aldo.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Relevant Logic A Philosophical Interpretation

2024-11-23T23:07:45Z

Author Mares, Edwin D..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Linear Logic in Computer Science

2024-11-23T23:07:45Z

Author Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Genetics and the logic of evolution

2024-11-23T23:07:45Z

Author Weiss, Kenneth M. Buchanan, Anne. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Full text available from Wiley InterScience Authentication may be required John Wiley http://dx.doi.org/10.1002/0471532657 Book review (E-STREAMS) http://www.e-streams.com/es0708/es0708_3453.html Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley044/2003014905.html
Format: Electronic Resources
Availability Online Library~1

Design of logic-based intelligent systems

2024-11-23T23:07:45Z

Author Truemper, K., 1942- John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access e-book Wiley InterScience An electronic book accessible through the World Wide Web; click for information Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html
Format: Electronic Resources
Availability Online Library~1

Arithmetic and logic in computer systems

2024-11-23T23:07:45Z

Author Lu, Mi.
Preferred Shelf Number ONLINE
Electronic Access Click for information Full text available from Wiley InterScience Authentication may be required Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic for embedded systems applications

2024-11-23T23:07:45Z

Author Ibrahim, Ahmad M., 1951-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750676052
Format: Electronic Resources
Availability Online Library~1

Probability Theory The Logic of Science

2024-11-23T23:07:45Z

Author Jaynes, E. T.. Bretthorst, G. Larry.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Verilog coding for logic synthesis

2024-11-23T23:07:45Z

Author Lee, Weng Fook. John Wiley & Sons, Inc.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html John Wiley http://dx.doi.org/10.1002/0471457566 http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736 Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html
Format: Electronic Resources
Availability Online Library~1

Digital logic testing and simulation

2024-11-23T23:07:45Z

Author Miczo, Alexander.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471457787 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2003041100.html Volltext http://proquest.tech.safaribooksonline.de/9780471439950
Format: Electronic Resources
Availability Online Library~1

The Logic of Concept Expansion

2024-11-23T23:07:45Z

Author Buzaglo, Meir.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The logic of knowledge bases

2024-11-23T23:07:45Z

Author Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: Electronic Resources
Availability Online Library~1

Air logic control for automated systems

2024-11-23T23:07:45Z

Author Wojtecki, Rudy.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The essence of logic circuits

2024-11-23T23:07:45Z

Author Unger, Stephen H., 1931-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: Electronic Resources
Availability Online Library~1

Principles of logic and logic programming

2024-11-23T23:07:45Z

Author Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: Electronic Resources
Availability Online Library~1

From logic to logic programming

2024-11-23T23:07:45Z

Author Doets, Kees.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: Electronic Resources
Availability Online Library~1

Logic testing and design for testability

2024-11-23T23:07:45Z

Author Fujiwara, Hideo.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: Electronic Resources
Availability Online Library~1

Logic and the basis of ethics

2024-11-23T23:07:45Z

Author Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241577.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic Pro 8 audio and music production

2024-11-23T23:07:45Z

Author Cousins, Mark. Hepworth-Sawyer, Russ.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240520476
Format: Electronic Resources
Availability Online Library~1

Fundamentals of digital logic and microcomputer design

2024-11-23T23:07:45Z

Author Rafiquzzaman, Mohamed.
Preferred Shelf Number ONLINE
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609 John Wiley http://dx.doi.org/10.1002/0471733520 John Wiley http://dx.doi.org/10.1002/9780471733522 http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380
Format: Electronic Resources
Availability Online Library~1

Logic on the track of social change

2024-11-23T23:07:45Z

Author Braybrooke, David. Brown, Bryson. Schotch, Peter K.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198235309.001.0001
Format: Electronic Resources
Availability Online Library~1

Judgement and the Epistemic Foundation of Logic

2024-11-23T23:07:45Z

Author van der Schaar, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335895.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5137-8
Format: Electronic Resources
Availability Online Library~1

McGraw-Hill's conquering LSAT logic games

2024-11-23T23:07:45Z

Author Curvebreakers.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

2024-11-23T23:07:45Z

Author Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444879998
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the Tenth International Conference on Logic Programming

2024-11-23T23:07:45Z

Author International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the 1997 International Symposium

2024-11-23T23:07:45Z

Author Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: Electronic Resources
Availability Online Library~1

Handbook of quantum logic and quantum structures quantum logic

2024-11-23T23:07:45Z

Author Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444528698
Format: Electronic Resources
Availability Online Library~1

Inductive logic programming from machine learning to software engineering

2024-11-23T23:07:45Z

Author Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the twelfth International Conference on Logic Programming

2024-11-23T23:07:45Z

Author Sterling, Leon.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the eleventh International Conference on Logic Programming

2024-11-23T23:07:45Z

Author Van Hentenryck, Pascal.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

2024-11-23T23:07:45Z

Author Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444868763
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

2024-11-23T23:07:45Z

Author Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

2024-11-23T23:07:45Z

Author Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

2024-11-23T23:07:45Z

Author Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

2024-11-23T23:07:45Z

Author Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: Electronic Resources
Availability Online Library~1

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

2024-11-23T23:07:45Z

Author Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981

2024-11-23T23:07:45Z

Author Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
Format: Electronic Resources
Availability Online Library~1

Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

2024-11-23T23:07:45Z

Author Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
Format: Electronic Resources
Availability Online Library~1

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

2024-11-23T23:07:45Z

Author Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977

2024-11-23T23:07:45Z

Author Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: Electronic Resources
Availability Online Library~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2024-11-23T23:07:45Z

Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Electronic Resources
Availability Online Library~1

Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981

2024-11-23T23:07:45Z

Author Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444867063
Format: Electronic Resources
Availability Online Library~1

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

2024-11-23T23:07:45Z

Author Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: Electronic Resources
Availability Online Library~1

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

2024-11-23T23:07:45Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

2024-11-23T23:07:45Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: Electronic Resources
Availability Online Library~1

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, 1991

2024-11-23T23:07:45Z

Author International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: Electronic Resources
Availability Online Library~1

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

2024-11-23T23:07:45Z

Author International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: Electronic Resources
Availability Online Library~1

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

2024-11-23T23:07:45Z

Author International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: Electronic Resources
Availability Online Library~1

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2024-11-23T23:07:45Z

Author Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Electronic Resources
Availability Online Library~1

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

2024-11-23T23:07:45Z

Author Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: Electronic Resources
Availability Online Library~1

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.

2024-11-23T23:07:45Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: Electronic Resources
Availability Online Library~1

Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

2024-11-23T23:07:45Z

Author International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534163
Format: Electronic Resources
Availability Online Library~1

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

2024-11-23T23:07:45Z

Author Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Electronic Resources
Availability Online Library~1

Logic, methodology and philosophy of science proceedings of the 1960 international congress

2024-11-23T23:07:45Z

Author International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: Electronic Resources
Availability Online Library~1

Advanced fuzzy logic approaches in engineering science

2024-11-23T23:07:45Z

Author Ram, Mangey, editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8
Format: Electronic Resources
Availability Online Library~1

Later medieval metaphysics ontology, language, and logic

2024-11-23T23:07:45Z

Author Keele, Rondo, 1968- Bolyard, Charles. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2024-11-23T23:07:45Z

Author Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources
Availability Online Library~1

Independence-Friendly Logic A Game-Theoretic Approach

2024-11-23T23:07:45Z

Author Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

A Course in Mathematical Logic for Mathematicians

2024-11-23T23:07:45Z

Author Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: Electronic Resources
Availability Online Library~1

Linguistic Fuzzy Logic Methods in Social Sciences

2024-11-23T23:07:45Z

Author Arfi, Badredine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13343-5
Format: Electronic Resources
Availability Online Library~1

Towards a Design Flow for Reversible Logic

2024-11-23T23:07:45Z

Author Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9579-4
Format: Electronic Resources
Availability Online Library~1

The theory of gambling and statistical logic

2024-11-23T23:07:45Z

Author Epstein, Richard A., 1927-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: Electronic Resources
Availability Online Library~1

Logic Synthesis for FSM-Based Control Units

2024-11-23T23:07:45Z

Author Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04309-3
Format: Electronic Resources
Availability Online Library~1

Logic Functions and Equations Examples and Exercises

2024-11-23T23:07:45Z

Author Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2024-11-23T23:07:45Z

Author Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88077-6
Format: Electronic Resources
Availability Online Library~1

Handbook of Practical Logic and Automated Reasoning

2024-11-23T23:07:45Z

Author Harrison, John.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Truth, etc. six lectures on ancient logic

2024-11-23T23:07:45Z

Author Barnes, Jonathan, 1942-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001
Format: Electronic Resources
Availability Online Library~1

Logic Synthesis for Compositional Microprogram Control Units

2024-11-23T23:07:45Z

Author Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69285-0
Format: Electronic Resources
Availability Online Library~1

Type-2 Fuzzy Logic: Theory and Applications

2024-11-23T23:07:45Z

Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76284-3
Format: Electronic Resources
Availability Online Library~1

Probabilistic Inductive Logic Programming Theory and Applications

2024-11-23T23:07:45Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2024-11-23T23:07:45Z

Author Bishop, Robert H., 1957-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Advanced Fuzzy Logic Technologies in Industrial Applications

2024-11-23T23:07:45Z

Author Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-469-4
Format: Electronic Resources
Availability Online Library~1

Integration of Fuzzy Logic and Chaos Theory

2024-11-23T23:07:45Z

Author Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32502-6
Format: Electronic Resources
Availability Online Library~1

Computation Engineering Applied Automata Theory and Logic

2024-11-23T23:07:45Z

Author Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32520-4
Format: Electronic Resources
Availability Online Library~1

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2024-11-23T23:07:45Z

Author Shepard, Richard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28098-7
Format: Electronic Resources
Availability Online Library~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-11-23T23:07:45Z

Author Tieszen, Richard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Infinite words automata, semigroups, logic and games

2024-11-23T23:07:45Z

Author Perrin, Dominique. Pin, Jean Eric.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: Electronic Resources
Availability Online Library~1

VHDL coding and logic synthesis with Synopsys

2024-11-23T23:07:45Z

Author Lee, Weng Fook.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124406513
Format: Electronic Resources
Availability Online Library~1

High-performance system design circuits and logic

2024-11-23T23:07:45Z

Author Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: Electronic Resources
Availability Online Library~1

Mitsubishi FX programmable logic controllers applications and programming

2024-11-23T23:07:45Z

Author Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2024-11-23T23:07:45Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2024-11-23T23:07:45Z

Author Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number XX(520259.1)
Electronic Access https://doi.org/10.1007/978-3-031-21112-6
Format: Electronic Resources
Availability Online Library~1

An introduction to practical formal methods using temporal logic

2024-11-23T23:07:45Z

Author Fisher, Michael, 1962-
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119991472 http://proquest.safaribooksonline.com/?fpi=9780470027882 Books24x7 http://www.books24x7.com/marc.asp?bookid=46822 http://proquest.safaribooksonline.com/9780470027882 Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: Electronic Resources
Availability Online Library~1

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2024-11-23T23:07:45Z

Author Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: Electronic Resources
Availability Online Library~1

The many valued and non-monotonic turn in logic

2024-11-23T23:07:45Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: Electronic Resources
Availability Online Library~1

The many valued and non-monotonic turn in logic

2024-11-23T23:07:45Z

The many valued and non-monotonic turn in logic

2024-11-23T23:07:45Z

The many valued and non-monotonic turn in logic

2024-11-23T23:07:45Z

Logic and the modalities in the twentieth century

2024-11-23T23:07:45Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
Format: Electronic Resources
Availability Online Library~1

Handbook of the logic of argument and inference the turn towards the practical

2024-11-23T23:07:45Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Electronic Resources
Availability Online Library~1

Between Logic and Reality Modeling Inference, Action and Understanding

2024-11-23T23:07:45Z

Author Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2390-0
Format: Electronic Resources
Availability Online Library~1

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

2024-11-23T23:07:45Z

Author Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8812-3
Format: Electronic Resources
Availability Online Library~1

The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions

2024-11-23T23:07:45Z

Author Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: Electronic Resources
Availability Online Library~1

Logic based on Schaum's Outline of theory and problems of logic

2024-11-23T23:07:45Z

Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2024-11-23T23:07:45Z

Author Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336157.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Electronic Resources
Availability Online Library~1

Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase

2024-11-23T23:07:45Z

Author Pejrolo, Andrea.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format: Electronic Resources
Availability Online Library~1

Proof, Computation and Agency Logic at the Crossroads

2024-11-23T23:07:45Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0080-2
Format: Electronic Resources
Availability Online Library~1

Games, Norms and Reasons Logic at the Crossroads

2024-11-23T23:07:45Z

Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0714-6
Format: Electronic Resources
Availability Online Library~1

Strict Finitism and the Logic of Mathematical Applications

2024-11-23T23:07:45Z

Author Ye, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1347-5
Format: Electronic Resources
Availability Online Library~1

Schaum's outline of theory and problems of logic

2024-11-23T23:07:45Z

Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Logic and Philosophy of Mathematics in the Early Husserl

2024-11-23T23:07:45Z

Author Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3246-1
Format: Electronic Resources
Availability Online Library~1

Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms

2024-11-23T23:07:45Z

Author Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: Electronic Resources
Availability Online Library~1

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

2024-11-23T23:07:45Z

Author Hailperin, Theodore.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: Electronic Resources
Availability Online Library~1

Logic in algebraic form Three languages and theories

2024-11-23T23:07:45Z

Author Craig, William, 1918-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: Electronic Resources
Availability Online Library~1

Model theory for infinitary logic logic with countable conjunctions and finite quantifiers

2024-11-23T23:07:45Z

Author Keisler, H. Jerome.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: Electronic Resources
Availability Online Library~1

The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

2024-11-23T23:07:45Z

Author International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: Electronic Resources
Availability Online Library~1

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

2024-11-23T23:07:45Z

Author Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the 1999 International Conference on Logic Programming

2024-11-23T23:07:45Z

Author International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the Fourteenth International Conference on Logic Programming

2024-11-23T23:07:45Z

Author International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: Electronic Resources
Availability Online Library~1

Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

2024-11-23T23:07:45Z

Author Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: Electronic Resources
Availability Online Library~1

WAIC and WBIC with R Stan 100 Exercises for Building Logic

2024-11-23T23:07:45Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number XX(520717.1)
Electronic Access https://doi.org/10.1007/978-981-99-3838-4
Format: Electronic Resources
Availability Online Library~1

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

2024-11-23T23:07:45Z

Author Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521257.1)
Electronic Access https://doi.org/10.1007/978-3-031-43977-3
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

2024-11-23T23:07:45Z

Author Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521259.1)
Electronic Access https://doi.org/10.1007/978-3-031-45558-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

2024-11-23T23:07:45Z

Author Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520731.1)
Electronic Access https://doi.org/10.1007/978-981-99-7869-4
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2024-11-23T23:07:45Z

Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520823.1)
Electronic Access https://doi.org/10.1007/978-3-031-26689-8
Format: Electronic Resources
Availability Online Library~1

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers

2024-11-23T23:07:45Z

Author Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520827.1)
Electronic Access https://doi.org/10.1007/978-3-031-25894-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

2024-11-23T23:07:45Z

Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520880.1)
Electronic Access https://doi.org/10.1007/978-3-031-39784-4
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2024-11-23T23:07:45Z

Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521245.1)
Electronic Access https://doi.org/10.1007/978-3-031-45784-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings

2024-11-23T23:07:45Z

Author Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521376.1)
Electronic Access https://doi.org/10.1007/978-3-031-49299-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

2024-11-23T23:07:45Z

Author Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521384.1)
Electronic Access https://doi.org/10.1007/978-3-031-26622-5
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-11-23T23:07:45Z

Author Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521080.1)
Electronic Access https://doi.org/10.1007/978-3-031-39965-7
Format: Electronic Resources
Availability Online Library~1

Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

2024-11-23T23:07:45Z

Author Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521191.1)
Electronic Access https://doi.org/10.1007/978-3-031-36978-0
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2024-11-23T23:07:45Z

Author Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521192.1)
Electronic Access https://doi.org/10.1007/978-3-031-40875-5
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-11-23T23:07:45Z

Author Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources
Availability Online Library~1

Logic Functions and Equations Binary Models for Computer Science

2024-11-23T23:07:45Z

Author Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02420-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-11-23T23:07:45Z

Author Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with VHDL

2024-11-23T23:07:45Z

Author LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12489-2
Format: Electronic Resources
Availability Online Library~1

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2024-11-23T23:07:45Z

Author Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59565-7
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-11-23T23:07:45Z

Author Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources
Availability Online Library~1

Representation Theorems in Computer Science A Treatment in Logic Engineering

2024-11-23T23:07:45Z

Author Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25785-9
Format: Electronic Resources
Availability Online Library~1

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 Birthday

2024-11-23T23:07:45Z

Author Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with Verilog

2024-11-23T23:07:45Z

Author LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13605-5
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-11-23T23:07:45Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

2024-11-23T23:07:45Z

Author Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19432-1
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2024-11-23T23:07:45Z

Author Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16202-3
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2024-11-23T23:07:45Z

Author Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12544-8
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-11-23T23:07:45Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20528-7
Format: Electronic Resources
Availability Online Library~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-11-23T23:07:45Z

Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources
Availability Online Library~1

Design Automation for Differential MOS Current-Mode Logic Circuits

2024-11-23T23:07:45Z

Author Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91307-0
Format: Electronic Resources
Availability Online Library~1

At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

2024-11-23T23:07:45Z

Author Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59620-3
Format: Electronic Resources
Availability Online Library~1

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 3

2024-11-23T23:07:45Z

Author Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66827-7
Format: Electronic Resources
Availability Online Library~1

Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges

2024-11-23T23:07:45Z

Author Barkalov, Alexander. author. Titarenko, Larysa. author. Bieganowski, Jacek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59837-6
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-11-23T23:07:45Z

Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications

2024-11-23T23:07:45Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71008-2
Format: Electronic Resources
Availability Online Library~1

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 1

2024-11-23T23:07:45Z

Author Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66830-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-11-23T23:07:45Z

Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources
Availability Online Library~1

Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic

2024-11-23T23:07:45Z

Author Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70851-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-11-23T23:07:45Z

Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-11-23T23:07:45Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources
Availability Online Library~1

New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic

2024-11-23T23:07:45Z

Author Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73773-7
Format: Electronic Resources
Availability Online Library~1

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 2

2024-11-23T23:07:45Z

Author Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66824-6
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-11-23T23:07:45Z

Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-11-23T23:07:45Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution

2024-11-23T23:07:45Z

Author John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72892-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-11-23T23:07:45Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-11-23T23:07:45Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-11-23T23:07:45Z

Author Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-11-23T23:07:45Z

Author Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources
Availability Online Library~1

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 I

2024-11-23T23:07:45Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources
Availability Online Library~1

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 II

2024-11-23T23:07:45Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Intelligent System Design Theory and Applications

2024-11-23T23:07:45Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67137-6
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-11-23T23:07:45Z

Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources
Availability Online Library~1

Digital electronics 2 : sequential and arithmetic logic circuits

2024-11-23T23:07:45Z

Author Ndjountche, Tertulien.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-11-23T23:07:45Z

Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518775.1)
Electronic Access https://doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2024-11-23T23:07:45Z

Author Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518861.1)
Electronic Access https://doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2024-11-23T23:07:45Z

Author Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518822.1)
Electronic Access https://doi.org/10.1007/978-3-319-21768-0
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-11-23T23:07:45Z

Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519137.1)
Electronic Access https://doi.org/10.1007/978-3-662-48561-3
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

2024-11-23T23:07:45Z

Author Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Preferred Shelf Number XX(518853.1)
Electronic Access https://doi.org/10.1007/978-3-319-17966-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

2024-11-23T23:07:45Z

Author Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519040.1)
Electronic Access https://doi.org/10.1007/978-3-662-46906-4
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-11-23T23:07:45Z

Author Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519102.1)
Electronic Access https://doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-11-23T23:07:45Z

Author Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519118.1)
Electronic Access https://doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources
Availability Online Library~1

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2024-11-23T23:07:45Z

Author Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519268.1)
Electronic Access https://doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources
Availability Online Library~1

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2024-11-23T23:07:45Z

Author Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Preferred Shelf Number XX(519274.1)
Electronic Access https://doi.org/10.1007/978-3-319-23534-9
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-11-23T23:07:45Z

Author Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519276.1)
Electronic Access https://doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-11-23T23:07:45Z

Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519293.1)
Electronic Access https://doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2024-11-23T23:07:45Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number XX(518949.1)
Electronic Access https://doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-11-23T23:07:45Z

Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519103.1)
Electronic Access https://doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources
Availability Online Library~1

Seizing power the strategic logic of military coups

2024-11-23T23:07:45Z

Author Singh, Naunihal. Project Muse.
Preferred Shelf Number ONLINE(322955.1)
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina

2024-11-23T23:07:45Z

Author Kehoe, Genevieve M., 1979- author. Project Muse.
Preferred Shelf Number ONLINE(322990.1)
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Foundations of fuzzy logic and semantic web languages

2024-11-23T23:07:45Z

Author Straccia, Umberto.
Preferred Shelf Number ONLINE(342752.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

2024-11-23T23:07:45Z

Author Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-11-23T23:07:45Z

Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-11-23T23:07:45Z

Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-11-23T23:07:45Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-11-23T23:07:45Z

Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources
Availability Online Library~1

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 Papers

2024-11-23T23:07:45Z

Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources
Availability Online Library~1

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

2024-11-23T23:07:45Z

Author Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-9429-4
Format: Electronic Resources
Availability Online Library~1