Limit Search Results
Author
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Language
Publication Date
-
Subject
Computer science.
(1243)
Logic design.
(1139)
Software engineering.
(874)
Artificial intelligence.
(605)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2536 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computational logic
Computational logic
Preferred Shelf Number 
ONLINE(355347.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Combinatory logic
Combinatory logic
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic demystified
Logic demystified
Author 
Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical logic
Mathematical logic
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118032435
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic design
Logic design
Author 
Chen, Wai-Kai, 1936-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical logic
Mathematical logic
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: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Dynamic logic
Dynamic logic
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: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal logic
Formal logic
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: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic Colloquium 2007
Logic Colloquium 2007
Author 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic Colloquium 2006
Logic Colloquium 2006
Author 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logic Colloquium 2005
Logic Colloquium 2005
Author 
Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Computability, complexity, logic
Computability, complexity, logic
Author 
Börger, E. (Egon), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Ancient formal logic
Ancient formal logic
Author 
Bochenski, Joseph M., 1902-1995.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logic and Structure
Logic and Structure
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic the basics
Logic the basics
Author 
Beall, J. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Philosophy of logic
Philosophy of logic
Author 
Jacquette, Dale.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Digital logic design
Digital logic design
Author 
Holdsworth, B. (Brian) Woods, R. C. (R. Clive)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750645829
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Advanced Logic Synthesis
Advanced Logic Synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Logic in games
Logic in games
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: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Synchronous precharge logic
Synchronous precharge logic
Author 
Smoszna, Marek.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123985279
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Introduction to logic
Introduction to logic
Author 
Gensler, Harry J., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Logic in Reality
Logic in Reality
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: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Fuzzy Equational Logic
Fuzzy Equational Logic
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: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Handbook of modal logic
Handbook of modal logic
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Logic, Thought and Action
Logic, Thought and Action
Author 
Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3167-X
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
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: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Aspects of inductive logic
Aspects of inductive logic
Author 
Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Combinatory logic. Volume II
Combinatory logic. Volume II
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: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for VHDL for logic synthesis
VHDL for logic synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Studies in Legal Logic
Studies in Legal Logic
Author 
Hage, Jaap. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3552-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Introduction to medieval logic
Introduction to medieval logic
Author 
Broadie, Alexander.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for The logic of education
The logic of education
Author 
Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Memory-Based Logic Synthesis
Memory-Based Logic Synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Aspects of Mathematical Logic
Aspects of Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The science of logic
The science of logic
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: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Logic design of nanoICs
Logic design of nanoICs
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: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Fuzzy logic in geology
Fuzzy logic in geology
Author 
Demicco, Robert V. Klir, George J., 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124151468
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Logic, Thought and Language
Logic, Thought and Language
Author 
O'Hear, Anthony.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Fuzzy logic in chemistry
Fuzzy logic in chemistry
Author 
Rouvray, D. H.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125989107
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Molecular logic-based computation
Molecular logic-based computation
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Logic and information flow
Logic and information flow
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Logic IC master reference
Logic IC master reference
Author 
Heiserman, David L., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Logic, automata, and algorithms
Logic, automata, and algorithms
Author 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for A grammatical view of logic programming
A grammatical view of logic programming
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Handbook of Philosophical Logic Volume 16
Handbook of Philosophical Logic Volume 16
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Handbook of logic and language
Handbook of logic and language
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Handbook of Philosophical Logic Volume 15
Handbook of Philosophical Logic Volume 15
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: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for A Companion to philosophical logic
A Companion to philosophical logic
Author 
Jacquette, Dale. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470996751
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Greek, Indian, and Arabic logic
Greek, Indian, and Arabic logic
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
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: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
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: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Categorical logic and type theory
Categorical logic and type theory
Author 
Jacobs, Bart.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Tools and techniques in modal logic
Tools and techniques in modal logic
Author 
Kracht, Marcus.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500557
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Intuitionistic logic, model theory and forcing
Intuitionistic logic, model theory and forcing
Author 
Fitting, Melvin, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
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: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for A survey of mathematical logic
A survey of mathematical logic
Author 
Wang, Hao, 1921-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Truth and consequence in mediaeval logic
Truth and consequence in mediaeval logic
Author 
Moody, Ernest A. (Ernest Addison), 1903-1975.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533760
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for The propositional logic of Boethius
The propositional logic of Boethius
Author 
Dürr, Karl, 1888-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for An essay in modal logic
An essay in modal logic
Author 
Wright, G. H. von (Georg Henrik), 1916-2003.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533708
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
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: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Logic Pro 9 audio and music production
Logic Pro 9 audio and music production
Author 
Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium
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: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
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: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Logic of analog and digital machines
Logic of analog and digital machines
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: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Mechanical logic in three-dimensional space
Mechanical logic in three-dimensional space
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: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Purgatory the logic of total transformation
Purgatory the logic of total transformation
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: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Logic Circuit Design Selected Methods
Logic Circuit Design Selected Methods
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: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Digital logic design a rigorous approach
Digital logic design a rigorous approach
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: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
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: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Logic and the Organization of Information
Logic and the Organization of Information
Author 
Frické, Martin. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3088-9
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Combinatory logic pure, applied and typed
Combinatory logic pure, applied and typed
Author 
Bimb,̤ Katalin, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Logic : the laws of truth
Logic : the laws of truth
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: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Handbook of logic and language
Handbook of logic and language
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: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for The logic of positive engagement
The logic of positive engagement
Author 
Nincic, Miroslav.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.7591/j.ctt7v74h
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Logic the question of truth
Logic the question of truth
Author 
Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Fuzzy logic and hydrological modeling
Fuzzy logic and hydrological modeling
Author 
?en, Zekí.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Fuzzy logic with engineering applications
Fuzzy logic with engineering applications
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: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Modality metaphysics, logic, and epistemology
Modality metaphysics, logic, and epistemology
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: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Data integration the relational logic approach
Data integration the relational logic approach
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: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Neural Cell Behavior and Fuzzy Logic
Neural Cell Behavior and Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Extensionalism The Revolution in Logic
Extensionalism The Revolution in Logic
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: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
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: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
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: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
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: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
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: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Introduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB
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: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Quantifiers in language and logic
Quantifiers in language and logic
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: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Fuzzy Logic Applications in Engineering Science
Fuzzy Logic Applications in Engineering Science
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: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
Author 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Theories of Judgment Psychology, Logic, Phenomenology
Theories of Judgment Psychology, Logic, Phenomenology
Author 
Martin, Wayne.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Fuzzy logic and the semantic web
Fuzzy logic and the semantic web
Author 
Sanchez, Elie, 1944-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444519481
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Rigid Flexibility The Logic of Intelligence
Rigid Flexibility The Logic of Intelligence
Author 
Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5045-3
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Fuzzy Logic in Financial Analysis
Fuzzy Logic in Financial Analysis
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: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Handbook of Philosophical Logic, 2nd Edition
Handbook of Philosophical Logic, 2nd Edition
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: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Grounded Consequence for Defeasible Logic
Grounded Consequence for Defeasible Logic
Author 
Antonelli, Aldo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Fuzzy Logic, Identification and Predictive Control
Fuzzy Logic, Identification and Predictive Control
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: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Relevant Logic A Philosophical Interpretation
Relevant Logic A Philosophical Interpretation
Author 
Mares, Edwin D..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Fuzzy logic for embedded systems applications
Fuzzy logic for embedded systems applications
Author 
Ibrahim, Ahmad M., 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750676052
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Genetics and the logic of evolution
Genetics and the logic of evolution
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: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Design of logic-based intelligent systems
Design of logic-based intelligent systems
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: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Arithmetic and logic in computer systems
Arithmetic and logic in computer systems
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: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Probability Theory The Logic of Science
Probability Theory The Logic of Science
Author 
Jaynes, E. T.. Bretthorst, G. Larry.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Verilog coding for logic synthesis
Verilog coding for logic synthesis
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: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Digital logic testing and simulation
Digital logic testing and simulation
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: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for The Logic of Concept Expansion
The Logic of Concept Expansion
Author 
Buzaglo, Meir.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for The logic of knowledge bases
The logic of knowledge bases
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: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Air logic control for automated systems
Air logic control for automated systems
Author 
Wojtecki, Rudy.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for The essence of logic circuits
The essence of logic circuits
Author 
Unger, Stephen H., 1931-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Principles of logic and logic programming
Principles of logic and logic programming
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: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for From logic to logic programming
From logic to logic programming
Author 
Doets, Kees.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Logic testing and design for testability
Logic testing and design for testability
Author 
Fujiwara, Hideo.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Logic and the basis of ethics
Logic and the basis of ethics
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: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Logic Pro 8 audio and music production
Logic Pro 8 audio and music production
Author 
Cousins, Mark. Hepworth-Sawyer, Russ.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520476
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Fundamentals of digital logic and microcomputer design
Fundamentals of digital logic and microcomputer design
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: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Logic on the track of social change
Logic on the track of social change
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: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Judgement and the Epistemic Foundation of Logic
Judgement and the Epistemic Foundation of Logic
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: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for McGraw-Hill's conquering LSAT logic games
McGraw-Hill's conquering LSAT logic games
Author 
Curvebreakers.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
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: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming
Logic programming proceedings of the Tenth International Conference on Logic Programming
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: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Logic programming proceedings of the 1997 International Symposium
Logic programming proceedings of the 1997 International Symposium
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: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Handbook of quantum logic and quantum structures quantum logic
Handbook of quantum logic and quantum structures quantum logic
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: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Inductive logic programming from machine learning to software engineering
Inductive logic programming from machine learning to software engineering
Author 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming
Logic programming proceedings of the twelfth International Conference on Logic Programming
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
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: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
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: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
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: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Author 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
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: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
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: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
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: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
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: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
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: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
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: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
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: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
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: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
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: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
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: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
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: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
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: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
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: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
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: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
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: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for 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.
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.
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: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
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: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
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: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Logic, methodology and philosophy of science proceedings of the 1960 international congress
Logic, methodology and philosophy of science proceedings of the 1960 international congress
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: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Advanced fuzzy logic approaches in engineering science
Advanced fuzzy logic approaches in engineering science
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: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Later medieval metaphysics ontology, language, and logic
Later medieval metaphysics ontology, language, and logic
Author 
Keele, Rondo, 1968- Bolyard, Charles. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Independence-Friendly Logic A Game-Theoretic Approach
Independence-Friendly Logic A Game-Theoretic Approach
Author 
Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic
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: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
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: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Linguistic Fuzzy Logic Methods in Social Sciences
Linguistic Fuzzy Logic Methods in Social Sciences
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: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for The theory of gambling and statistical logic
The theory of gambling and statistical logic
Author 
Epstein, Richard A., 1927-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Truth, etc. six lectures on ancient logic
Truth, etc. six lectures on ancient logic
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: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Logic Synthesis for FSM-Based Control Units
Logic Synthesis for FSM-Based Control Units
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: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Logic Functions and Equations Examples and Exercises
Logic Functions and Equations Examples and Exercises
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: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
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: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Author 
Harrison, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Logic Synthesis for Compositional Microprogram Control Units
Logic Synthesis for Compositional Microprogram Control Units
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: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Probabilistic Inductive Logic Programming Theory and Applications
Probabilistic Inductive Logic Programming Theory and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Mechatronic system control, logic, and data acquisition
Mechatronic system control, logic, and data acquisition
Author 
Bishop, Robert H., 1957-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Type-2 Fuzzy Logic: Theory and Applications
Type-2 Fuzzy Logic: Theory and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Computation Engineering Applied Automata Theory and Logic
Computation Engineering Applied Automata Theory and Logic
Author 
Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-32520-4
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Advanced Fuzzy Logic Technologies in Industrial Applications
Advanced Fuzzy Logic Technologies in Industrial Applications
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: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Integration of Fuzzy Logic and Chaos Theory
Integration of Fuzzy Logic and Chaos Theory
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: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Phenomenology, Logic, and the Philosophy of Mathematics
Phenomenology, Logic, and the Philosophy of Mathematics
Author 
Tieszen, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Quantifying Environmental Impact Assessments Using Fuzzy Logic
Quantifying Environmental Impact Assessments Using Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Infinite words automata, semigroups, logic and games
Infinite words automata, semigroups, logic and games
Author 
Perrin, Dominique. Pin, Jean Eric.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for VHDL coding and logic synthesis with Synopsys
VHDL coding and logic synthesis with Synopsys
Author 
Lee, Weng Fook.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124406513
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for High-performance system design circuits and logic
High-performance system design circuits and logic
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: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Mitsubishi FX programmable logic controllers applications and programming
Mitsubishi FX programmable logic controllers applications and programming
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: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
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: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for An introduction to practical formal methods using temporal logic
An introduction to practical formal methods using temporal logic
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: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
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: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
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: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
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: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
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: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for The many valued and non-monotonic turn in logic
The many valued and non-monotonic turn in logic
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: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Logic and the modalities in the twentieth century
Logic and the modalities in the twentieth century
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Handbook of the logic of argument and inference the turn towards the practical
Handbook of the logic of argument and inference the turn towards the practical
Author 
Gabbay, Dov M., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Between Logic and Reality Modeling Inference, Action and Understanding
Between Logic and Reality Modeling Inference, Action and Understanding
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: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
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: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
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: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Logic based on Schaum's Outline of theory and problems of logic
Logic based on Schaum's Outline of theory and problems of logic
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: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
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: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
Author 
Pejrolo, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Strict Finitism and the Logic of Mathematical Applications
Strict Finitism and the Logic of Mathematical Applications
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: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
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: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Games, Norms and Reasons Logic at the Crossroads
Games, Norms and Reasons Logic at the Crossroads
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: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Schaum's outline of theory and problems of logic
Schaum's outline of theory and problems of logic
Author 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Logic and Philosophy of Mathematics in the Early Husserl
Logic and Philosophy of Mathematics in the Early Husserl
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: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
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: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Author 
Hailperin, Theodore.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Logic in algebraic form Three languages and theories
Logic in algebraic form Three languages and theories
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Author 
Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
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: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Author 
Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Logic programming proceedings of the 1999 International Conference on Logic Programming
Logic programming proceedings of the 1999 International Conference on Logic Programming
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: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
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: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
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: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for WAIC and WBIC with R Stan 100 Exercises for Building Logic
WAIC and WBIC with R Stan 100 Exercises for Building Logic
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: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Introduction to Logic Circuits & Logic Design with Verilog
Introduction to Logic Circuits & Logic Design with Verilog
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: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Author 
Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Introduction to Logic Circuits & Logic Design with VHDL
Introduction to Logic Circuits & Logic Design with VHDL
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: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Design Automation for Differential MOS Current-Mode Logic Circuits
Design Automation for Differential MOS Current-Mode Logic Circuits
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: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers
Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
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: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Author 
Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges
Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges
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: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications
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: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic
New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic
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: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution
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: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Fuzzy Logic in Intelligent System Design Theory and Applications
Fuzzy Logic in Intelligent System Design Theory and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Digital electronics 2 : sequential and arithmetic logic circuits
Digital electronics 2 : sequential and arithmetic logic circuits
Author 
Ndjountche, Tertulien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
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: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
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: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Introduction to type-2 fuzzy logic control : theory and applications
Introduction to type-2 fuzzy logic control : theory and applications
Author 
Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.
Preferred Shelf Number 
ONLINE(341947.1)
Electronic Access 
CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961
ebrary http://site.ebrary.com/id/10882750
John Wiley http://dx.doi.org/10.1002/9781118886540
MyiLibrary http://www.myilibrary.com?id=618887
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina
Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina
Author 
Kehoe, Genevieve M., 1979- author. Project Muse.
Preferred Shelf Number 
ONLINE(322990.1)
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Foundations of fuzzy logic and semantic web languages
Foundations of fuzzy logic and semantic web languages
Author 
Straccia, Umberto.
Preferred Shelf Number 
ONLINE(342752.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Seizing power the strategic logic of military coups
Seizing power the strategic logic of military coups
Author 
Singh, Naunihal. Project Muse.
Preferred Shelf Number 
ONLINE(322955.1)
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Author 
Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44116-9
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
Author 
Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13281-5
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Author 
Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08867-9
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
Author 
Janjua, Naeem Khalid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03949-7
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Author 
Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action