Limit Search Results
Author
SpringerLink (Online service)
(2670)
Project Muse.
(22)
Kacprzyk, Janusz. editor.
(19)
Voronkov, Andrei. editor.
(19)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1518)
Logic design.
(1202)
Software engineering.
(1078)
Artificial intelligence.
(893)
Computer Communication Networks.
(358)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3889 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Twisted logic : puzzles, paradoxes, and big questions
Twisted logic : puzzles, paradoxes, and big questions
Author 
Vaughan Williams, Leighton, author.
Preferred Shelf Number 
BC108
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003402862
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic Circuit Design Selected Topics and Methods
Logic Circuit Design Selected Topics and Methods
Author 
Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Perspective as logic : positioning film in architecture
Perspective as logic : positioning film in architecture
Author 
Roimpas, Stefanos, 1989- author.
Preferred Shelf Number 
NA2500
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003344995
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Type-3 Fuzzy Logic in Intelligent Control
Type-3 Fuzzy Logic in Intelligent Control
Author 
Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46088-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Lollipop logic : book 1, grades K-2
Lollipop logic : book 1, grades K-2
Author 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number 
LB1590.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003279723
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Concise introduction to logic and set theory
Concise introduction to logic and set theory
Author 
Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.
Preferred Shelf Number 
QA9 .A5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429022838
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Fuzzy TOPSIS : logic, approaches, and case studies
Fuzzy TOPSIS : logic, approaches, and case studies
Author 
El Alaoui, Mohamed, author.
Preferred Shelf Number 
T58.62
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003168416
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Mechatronic system control, logic, and data acquisition
Mechatronic system control, logic, and data acquisition
Author 
Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number 
TJ223 .P76 M43 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Digital Systems From Logic Gates to Processors
Digital Systems From Logic Gates to Processors
Author 
Deschamps, Jean-Pierre. author. Valderrama, Elena. author. Terés, Lluís. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41198-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Logic and discrete mathematics : a concise introduction
Logic and discrete mathematics : a concise introduction
Author 
Conradie, Willem, 1978- author. Goranko, Valentin, author.
Preferred Shelf Number 
QA9 C7423 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Foundation of digital electronics and logic design
Foundation of digital electronics and logic design
Author 
Sarkar, Subir Kumar, author. De, Asishkumar, author. Sarkar, Souvik, author. Pan Stanford Publishing.
Preferred Shelf Number 
TK7868
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
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:
25. 
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:
26. 
Cover image for Designing social research : the logic of anticipation
Designing social research : the logic of anticipation
Author 
Blaikie, Norman W. H., 1933-
Preferred Shelf Number 
H61 B53 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
Cover image for Fundamentals of digital logic with VHDL design
Fundamentals of digital logic with VHDL design
Author 
Brown, Stephen D. Vranesic, Zvonko G.
Preferred Shelf Number 
TK7888.4 B76 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
Cover image for Digital logic and microprocessor design with VHDL
Digital logic and microprocessor design with VHDL
Author 
Hwang, Enoch O.
Preferred Shelf Number 
TK7888.4 .H885 2006
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
43. 
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:
44. 
Cover image for Logic safari. Book 1, grades 2-3
Logic safari. Book 1, grades 2-3
Author 
Risby, Bonnie Lou. Palouda, Annelise, illustrator.
Format: 
Availability 
~0
Available:
Copies:
45. 
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:
46. 
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:
47. 
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:
48. 
Cover image for Fundamentals of digital logic with Verilog design
Fundamentals of digital logic with Verilog design
Author 
Brown, Stephen D. Vranesic, Zvonko G., ort. yaz.
Preferred Shelf Number 
TK7868.L6 B76 2004
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
49. 
Cover image for PLC (Programmable Logic Controllers) : Programlanabilir lojik denetleyiciler
PLC (Programmable Logic Controllers) : Programlanabilir lojik denetleyiciler
Author 
Yağımlı, Mustafa. Akar, Feyzi, ort. yaz.
Preferred Shelf Number 
TJ 223.P7 Y199 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
50. 
Cover image for An introduction to probability and inductive logic
An introduction to probability and inductive logic
Author 
Hacking, Ian.
Preferred Shelf Number 
BC 141 H33 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
51. 
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:
52. 
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:
53. 
Cover image for To mock mockingbird : and other logic puzzles...
To mock mockingbird : and other logic puzzles...
Author 
Smullyan, Raymond Merrill, 1919-
Preferred Shelf Number 
GV 1507.P43 S68 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
54. 
Cover image for On the logic of the social sciences
On the logic of the social sciences
Author 
Habermas, Jurgen.
Preferred Shelf Number 
H 61 H2513 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
55. 
Cover image for Computing with logic : logic programming with prolog
Computing with logic : logic programming with prolog
Author 
Maier, David, 1953- Warren, D. S., ort. yaz.
Preferred Shelf Number 
QA 76.73.P76 M349 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
56. 
Cover image for The principles of empirical or inductive logic
The principles of empirical or inductive logic
Author 
Venn, John, 1834-1923.
Preferred Shelf Number 
BC 91 V4 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
57. 
Cover image for The logic of images in international relations
The logic of images in international relations
Author 
Jervis, Robert, 1940-
Preferred Shelf Number 
JX 1395 J45
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
58. 
Cover image for A study of the logic of teaching
A study of the logic of teaching
Author 
Smith, Bunnie Othanel, 1903- Meux, Milton O., ed. Coombs, Jerrold., ed.
Preferred Shelf Number 
LB 1025 S653 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
59. 
Cover image for Introduction to psychological research : logic, desing, analysis
Introduction to psychological research : logic, desing, analysis
Author 
Lathrop, Richard G., 1933-
Preferred Shelf Number 
BF 76.5 L34 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for The theory of gambling and statistical logic
The theory of gambling and statistical logic
Author 
Epstein, Richard A.
Preferred Shelf Number 
QA 273 E6 1967
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
61. 
Cover image for The logic of liberty : reflections and rejoinders
The logic of liberty : reflections and rejoinders
Author 
Polanyi, Michael, 1891-
Preferred Shelf Number 
HM 271 P6 1951
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
62. 
Cover image for An introduction to logic and scientific method
An introduction to logic and scientific method
Author 
Cohen, Morris Raphael, 1880-1947. Nagel, Ernest, ort.yaz.
Preferred Shelf Number 
BC 108 C6602 1934
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
63. 
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:
64. 
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:
65. 
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. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
Cover image for The limits of science : outline of logic and of the methodology of the exact sciences
The limits of science : outline of logic and of the methodology of the exact sciences
Author 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number 
Q 175 C494 1948 A (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
81. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
82. 
Cover image for Learning music theory with Logic, Max, and Finale
Learning music theory with Logic, Max, and Finale
Author 
Kidde, Geoffrey, 1963- author.
Preferred Shelf Number 
MT6 .K47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781351004381
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
Cover image for Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
Author 
Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.
Preferred Shelf Number 
QA 248 SU64 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
97. 
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:
98. 
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:
99. 
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:
100. 
Cover image for The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
Author 
European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.
Preferred Shelf Number 
BC 39.5.G7 E97 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
101. 
Cover image for Logic, methodology and philosophy of science III : proceedings
Logic, methodology and philosophy of science III : proceedings
Author 
International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.
Preferred Shelf Number 
BC 135 I55 1968
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
102. 
Cover image for Fuzzy logic concepts in computer science and mathematics
Fuzzy logic concepts in computer science and mathematics
Author 
Kar, Rahul, editor.
Preferred Shelf Number 
QA9.64
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781779643551
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Author 
Jameson, Fredric.
Preferred Shelf Number 
PN 98.P67 J3 1991
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
104. 
Cover image for Engineering the circular economy : leveraging fuzzy logic for implementation
Engineering the circular economy : leveraging fuzzy logic for implementation
Author 
Mallik, Biswadip Basu, editor
Preferred Shelf Number 
HC79 .E5 E5633 2026 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003538837
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Reasons for logic, logic for reasons : pragmatics, semantics, and conceptual roles
Reasons for logic, logic for reasons : pragmatics, semantics, and conceptual roles
Author 
Hlobil, Ulf, author. Brandom, Robert, author.
Preferred Shelf Number 
BC71
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003330141
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Lollipop logic : critical thinking activities (Book 4, Grades K-2)
Lollipop logic : critical thinking activities (Book 4, Grades K-2)
Author 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number 
LB1590.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491620
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for MANORIAL CAPITALISM, ENSLAVEMENT, AND THE LOGIC OF DIVIDUATION
MANORIAL CAPITALISM, ENSLAVEMENT, AND THE LOGIC OF DIVIDUATION
Author 
Sassower, Raphael.
Preferred Shelf Number 
HT861
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003606093
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design
Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design
Author 
Barkalov, Alexander, author.
Preferred Shelf Number 
TK7868 .L6
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003536734
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning
Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning
Author 
Bhuyan, Bikram Pratim. author. (orcid)0000-0001-5373-8912 Ramdane-Cherif, Amar. author. Singh, Thipendra P. author. (orcid)0000-0002-9991-6494 Tomar, Ravi. author. (orcid)0000-0002-8957-6756 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Author 
Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80283-6
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Applied Type-3 Fuzzy Logic Systems and Controllers
Applied Type-3 Fuzzy Logic Systems and Controllers
Author 
Sabetahd, Rasoul. author. (orcid)0000-0002-3320-5788 Mohammadzadeh, Ardashir. author. Jafarzadeh, Ommegolsoum. author. Taghavifar, Hamid. author. Sakthivel, Rathinasamy. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75988-8
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Nanoscale computing : the journey beyond CMOS with nanomagnetic logic
Nanoscale computing : the journey beyond CMOS with nanomagnetic logic
Author 
Sivasubramani, Santhosh, author.
Preferred Shelf Number 
T174.7 .S5455 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394263585
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
Author 
Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86054-6
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Author 
Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II
Author 
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97228-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
Author 
Abe, Jair Minoro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97810-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Critical thinking for English-language learners : reasoning, logic, and argumentation
Critical thinking for English-language learners : reasoning, logic, and argumentation
Author 
Johnson, Christopher M. (Associate professor of philosophy), author. Howard, Anne McLellan, author.
Preferred Shelf Number 
PE1128 .A2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003473077
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Applications of Fuzzy Logic in Decision Making and Management Science
Applications of Fuzzy Logic in Decision Making and Management Science
Author 
Jana, Subrata. editor. Basu Mallik, Biswadip. editor. Sarkar, Anirban. editor. (orcid)0000-0002-4691-5631 Jana, Chiranjibe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I
Author 
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97225-6
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Author 
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis
Author 
Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81655-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Author 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI
Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI
Author 
Dujmović, Jozo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Retuning education : Bildung and exemplarity beyond the logic of progress
Retuning education : Bildung and exemplarity beyond the logic of progress
Author 
Korsgaard, Morten Timmermann, author.
Preferred Shelf Number 
LB14.7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003437666
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for New institutional economics as situational logic : a phenomenological perspective
New institutional economics as situational logic : a phenomenological perspective
Author 
Vries, Piet de, author.
Preferred Shelf Number 
HB99.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315764221
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for The limits and logic of agency theory in company law
The limits and logic of agency theory in company law
Author 
Hardman, Jonathan, author.
Preferred Shelf Number 
K917
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003293828
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for The logic of legal argumentation : multi-modal perspectives
The logic of legal argumentation : multi-modal perspectives
Author 
Novak, Marko, author.
Preferred Shelf Number 
K213
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003433767
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Lollipop logic : critical thinking activities (Book 3, Grades K-2)
Lollipop logic : critical thinking activities (Book 3, Grades K-2)
Author 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number 
LB1590.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003387206
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Lollipop logic : critical thinking activities (book 2, grades K-2)
Lollipop logic : critical thinking activities (book 2, grades K-2)
Author 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number 
LB1590.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003387213
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic
Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic
Author 
Mou, Bo, author.
Preferred Shelf Number 
BC71
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003452737
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Situation assessment in aviation : Bayesian network and fuzzy logic-based approaches
Situation assessment in aviation : Bayesian network and fuzzy logic-based approaches
Author 
Raol, J. R. (Jitendra R.), 1947- author.
Preferred Shelf Number 
TL711 .B6
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003370413
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
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-031-43946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
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-031-42547-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers
Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers
Author 
Pavlova, Alexandra. editor. Pedersen, Mina Young. editor. Bernardi, Raffaella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50628-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Author 
Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51777-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
Author 
de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon A. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50492-1
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics
New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics
Author 
Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 Melin, Patricia. editor. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55684-5
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Author 
Metcalfe, George. editor. Studer, Thomas. editor. de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62687-6
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65941-6
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Computing with multi-value logic in quantum dot cellular automata
Computing with multi-value logic in quantum dot cellular automata
Author 
Sabbaghi-Nadooshan, Reza, author.
Preferred Shelf Number 
TK7874.88 .S23 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Author 
Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55248-9
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Author 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms
New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms
Author 
Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53713-4
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Type-3 Fuzzy Logic in Time Series Prediction
Type-3 Fuzzy Logic in Time Series Prediction
Author 
Castillo, Oscar. author. (orcid)0000-0002-7385-5689 Melin, Patricia. author. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59714-5
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Author 
Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60878-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71294-4
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practice
Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practice
Author 
Serdyukova, Natalia. editor. Serdyukov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for The new logic of sexual violence in enlightenment France : rationalizing rape
The new logic of sexual violence in enlightenment France : rationalizing rape
Author 
McAlpin, Mary, 1960- author.
Preferred Shelf Number 
HV6593 .F7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003283898
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for NONRATIONAL LOGIC IN CONTEMPORARY SOCIETY a depth psychology perspective on magical thinking,... conspiracy theories and folk devils among us.
NONRATIONAL LOGIC IN CONTEMPORARY SOCIETY a depth psychology perspective on magical thinking,... conspiracy theories and folk devils among us.
Author 
Kline, Jim.
Preferred Shelf Number 
HV6275
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003271482
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3838-4
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7869-4
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39965-7
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Gonzo governance : the media logic of Donald Trump
Gonzo governance : the media logic of Donald Trump
Author 
Altheide, David L.
Preferred Shelf Number 
E912 .A43 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003330837
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Logic for kids : all aboard the Therefore Train!
Logic for kids : all aboard the Therefore Train!
Author 
Cusmariu, Arnold, author.
Preferred Shelf Number 
BC108
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003359289
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for The freest market in the world : the constitutional logic of economic liberty in Hong Kong
The freest market in the world : the constitutional logic of economic liberty in Hong Kong
Author 
Villalta Puig, Gonzalo, author. Ip, Eric Chi Yeung, author.
Preferred Shelf Number 
KNQ9370.3 .V55 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429341229
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for LOGIC FOR JUSTICE an introduction to formal logic with an emphasis on political reform.
LOGIC FOR JUSTICE an introduction to formal logic with an emphasis on political reform.
Author 
Wilhelm, Isaac.
Preferred Shelf Number 
JC11
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003200970
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Gender-responsive governance in Sierra Leone : the transitions and logic of inequality
Gender-responsive governance in Sierra Leone : the transitions and logic of inequality
Author 
Lahai, John Idriss, author.
Preferred Shelf Number 
HQ1236.5 .S5 .L343 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003384083
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.
Author 
Babu, Hafiz Md. Hasan, 1966-
Preferred Shelf Number 
QH506
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003381921
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design
Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design
Author 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22042-5
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
Author 
Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26332-3
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Error Logic: Paving Pathways for Intelligent Error Identification and Management
Error Logic: Paving Pathways for Intelligent Error Identification and Management
Author 
Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-00820-7
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25894-7
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45558-2
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26622-5
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Logic Locking A Practical Approach to Secure Hardware
Logic Locking A Practical Approach to Secure Hardware
Author 
Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19123-7
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Author 
Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology
Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology
Author 
Abe, Jair Minoro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35759-6
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for WAIC and WBIC with Python Stan 100 Exercises for Building Logic
WAIC and WBIC with Python Stan 100 Exercises for Building Logic
Author 
Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
Author 
Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21780-7
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Author 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Fuzzy logic applications in computer science and mathematics
Fuzzy logic applications in computer science and mathematics
Author 
Kar, Rahul, editor.
Preferred Shelf Number 
QA9.64 .F89 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40875-5
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49299-0
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Digital Landscape Architecture: Logic, Structure, Method and Application
Digital Landscape Architecture: Logic, Structure, Method and Application
Author 
Cheng, Yuning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2046-4
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Foundations of probabilistic logic programming : languages, semantics, inference and learning
Foundations of probabilistic logic programming : languages, semantics, inference and learning
Author 
Riguzzi, Fabrizio, author.
Preferred Shelf Number 
QA76.63
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003427421
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Parliamentary agency and regional integration in Europe and beyond : the logic of regional parliaments
Parliamentary agency and regional integration in Europe and beyond : the logic of regional parliaments
Author 
Luciano, Bruno Theodoro, author.
Preferred Shelf Number 
JF197 .L84 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003142201
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Logic works : a rigorous introduction to formal logic
Logic works : a rigorous introduction to formal logic
Author 
Falkenstein, Lorne, author. Stapleford, Scott, author. Kao, Molly, 1986- author.
Preferred Shelf Number 
BC108
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003026532
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Post-truth society : a political anthropology of trickster logic
Post-truth society : a political anthropology of trickster logic
Author 
Szakolczai, Árpád, author.
Preferred Shelf Number 
BJ1421
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003225553
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Artificial intelligence and computing logic : cognitive technology for AI business analytics
Artificial intelligence and computing logic : cognitive technology for AI business analytics
Author 
Nourani, Cyrus F., editor.
Preferred Shelf Number 
QA76.9 .S63
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003180487
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Public service logic : creating value for public service users, citizens, and society through public service delivery
Public service logic : creating value for public service users, citizens, and society through public service delivery
Author 
Osborne, Stephen P., 1953- author.
Preferred Shelf Number 
JF1351 .O77 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003009153
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Logic of the powers : towards an impact-driven practice of futurist statecraft
Logic of the powers : towards an impact-driven practice of futurist statecraft
Author 
Wong, Pak Nung, author.
Preferred Shelf Number 
BL65 .P7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429263446
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Luck, logic, and white lies : the mathematics of games
Luck, logic, and white lies : the mathematics of games
Author 
Bewersdorff, Jörg, author.
Preferred Shelf Number 
QA269
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003092872
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for PIC16F1847 microcontroller-based programmable logic controller : intermediate concepts
PIC16F1847 microcontroller-based programmable logic controller : intermediate concepts
Author 
Uzam, Murat, 1968- author.
Preferred Shelf Number 
TJ223 .P76 U93 2021 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367506445
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for The fundamentally simple logic of language : learning a second language with the tools of the native speaker
The fundamentally simple logic of language : learning a second language with the tools of the native speaker
Author 
González, Luis H., author.
Preferred Shelf Number 
P281
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003139225
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Cultural internationalism : the logic of a new international governance
Cultural internationalism : the logic of a new international governance
Author 
Guo, Shuyong, 1968- author. Zhang, Xiaoyin, translator.
Preferred Shelf Number 
JZ1318
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003170747
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for PIC16F1847 microcontroller-based programmable logic controller : hardware and basic concepts
PIC16F1847 microcontroller-based programmable logic controller : hardware and basic concepts
Author 
Uzam, Murat, 1968- author.
Preferred Shelf Number 
TJ223 .P76 U93 2021 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003050605
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for PIC16F1847 microcontroller-based programmable logic controller : advanced concepts
PIC16F1847 microcontroller-based programmable logic controller : advanced concepts
Author 
Uzam, Murat, 1968- author.
Preferred Shelf Number 
TJ223 .P76 U93 2021 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003050643
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Mathematical modeling using fuzzy logic applications to sustainability
Mathematical modeling using fuzzy logic applications to sustainability
Author 
Pandit, Abhijit, 1978- author.
Preferred Shelf Number 
TA342
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429423345
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Cybernetic psychology and mental health : a circular logic of control beyond the individual
Cybernetic psychology and mental health : a circular logic of control beyond the individual
Author 
Beck, Timothy J., author.
Preferred Shelf Number 
QP360.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429287046
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Logic and uncertainty in the human mind : a tribute to David E. Over
Logic and uncertainty in the human mind : a tribute to David E. Over
Author 
Elqayam, Shira, editor. Douven, Igor, editor. Evans, Jonathan St. B. T., 1948- editor. Cruz, Nicole, editor.
Preferred Shelf Number 
BF442 .L64 2020
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315111902
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for PIC16F1847 MICROCONTROLLER-BASED PROGRAMMABLE LOGIC CONTROLLER, THREE VOLUME SET
PIC16F1847 MICROCONTROLLER-BASED PROGRAMMABLE LOGIC CONTROLLER, THREE VOLUME SET
Author 
Uzam, Murat, 1968- author.
Preferred Shelf Number 
TJ223 .P76
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003050674
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Hegel's foundation free metaphysics : the logic of singularity
Hegel's foundation free metaphysics : the logic of singularity
Author 
Moss, Gregory S., 1983- author.
Preferred Shelf Number 
B2948
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315185347
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
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:
201. 
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:
202. 
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:
203. 
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:
204. 
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:
205. 
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:
206. 
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:
207. 
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:
208. 
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:
209. 
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:
210. 
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:
211. 
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:
212. 
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:
213. 
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:
214. 
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:
215. 
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:
216. 
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:
217. 
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:
218. 
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:
219. 
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:
220. 
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:
221. 
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:
222. 
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:
223. 
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:
224. 
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:
225. 
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:
226. 
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:
227. 
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:
228. 
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:
229. 
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:
230. 
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:
231. 
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:
232. 
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:
233. 
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:
234. 
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:
235. 
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:
236. 
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:
237. 
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:
238. 
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:
239. 
Cover image for Soft computing evaluation logic : the LSP decision method and its applications
Soft computing evaluation logic : the LSP decision method and its applications
Author 
Dujmovic, Jozo, 1941- author.
Preferred Shelf Number 
QA76.9 .S63 D85 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Author 
Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63342-8
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Fuzzy Logic for Image Processing A Gentle Introduction Using Java
Fuzzy Logic for Image Processing A Gentle Introduction Using Java
Author 
Caponetti, Laura. author. Castellano, Giovanna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44130-6
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers
Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers
Author 
Petrosino, Alfredo. editor. Loia, Vincenzo. editor. Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52962-2
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Author 
Trillas, Enric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56053-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
Author 
Fan, Tai-He. editor. Chen, Shui-Li. editor. Wang, San-Min. editor. Li, Yong-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46206-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for New Data Structures and Algorithms for Logic Synthesis and Verification
New Data Structures and Algorithms for Logic Synthesis and Verification
Author 
Amaru, Luca Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43174-1
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Author 
Kennedy, Juliette. 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-55386-2
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS
Author 
Posser, Gracieli. author. Sapatnekar, Sachin S. author. Reis, Ricardo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48899-8
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Author 
Ahmed, Jameel. author. Siyal, Mohammed Yakoob. author. Najam, Shaheryar. author. Najam, Zohaib. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3120-5
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
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-319-34195-8
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
Author 
de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon Alexander. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53324-6
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm
Author 
Mazzola, Guerino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64364-9
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
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-319-53883-9
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Author 
Seising, Rudolf. editor. Allende-Cid, Héctor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Author 
Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55665-8
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic
Author 
Gonzalez, Claudia I. author. Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castro, Juan R. author. Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53994-2
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Author 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Author 
Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54332-0
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Author 
Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
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:
263. 
Cover image for Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor
Author 
Calvo Sánchez, Tomasa. editor. Torrens Sastre, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30421-2
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Author 
Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26656-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Digital Logic Design Using Verilog Coding and RTL Synthesis
Digital Logic Design Using Verilog Coding and RTL Synthesis
Author 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2791-5
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for A Practical Introduction to Fuzzy Logic using LISP
A Practical Introduction to Fuzzy Logic using LISP
Author 
Argüelles Mendez, Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Logic Synthesis for FPGA-Based Finite State Machines
Logic Synthesis for FPGA-Based Finite State Machines
Author 
Barkalov, Alexander. author. Titarenko, Larysa. author. Kolopienczyk, Malgorzata. author. Mielcarek, Kamil. author. Bazydlo, Grzegorz. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24202-6
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Subjective Logic A Formalism for Reasoning Under Uncertainty
Subjective Logic A Formalism for Reasoning Under Uncertainty
Author 
Jøsang, Audun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42337-1
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Author 
Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40566-7
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Author 
Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30406-9
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for International Conference on Oriental Thinking and Fuzzy Logic Celebration of the 50th Anniversary in the era of Complex Systems and Big Data
International Conference on Oriental Thinking and Fuzzy Logic Celebration of the 50th Anniversary in the era of Complex Systems and Big Data
Author 
Cao, Bing-Yuan. editor. Wang, Pei-Zhuang. editor. Liu, Zeng-Liang. editor. Zhong, Yu-Bin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30874-6
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges
Author 
Kahraman, Cengiz. editor. Kaymak, Uzay Uzay. editor. Yazici, Adnan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31093-0
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Author 
Ridha Taha, Saleem Mohammed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23479-3
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Author 
Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52921-8
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Author 
Lucanu, Dorel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29604-3
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for The emotional logic of capitalism : what progressives have missed
The emotional logic of capitalism : what progressives have missed
Author 
Konings, Martijn, 1975- author.
Preferred Shelf Number 
HB501 K5795 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
279. 
Cover image for The cultural logic of politics in mainland China and Taiwan
The cultural logic of politics in mainland China and Taiwan
Author 
Shi, Tianjian.
Preferred Shelf Number 
JQ1516 S55 2015
Format: 
Availability 
Beytepe 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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46906-4
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 
ONLINE
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 
ONLINE
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14726-0
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization
Author 
Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17747-2
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Fuzzy Logic An Introductory Course for Engineering Students
Fuzzy Logic An Introductory Course for Engineering Students
Author 
Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14203-6
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Fifty Years of Fuzzy Logic and its Applications
Fifty Years of Fuzzy Logic and its Applications
Author 
Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19683-1
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23708-4
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
Author 
Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16235-5
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications
Author 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Application of fuzzy logic to social choice theory
Application of fuzzy logic to social choice theory
Author 
Mordeson, John N., author. Malik, D. S., author. Clark, Terry D., author.
Preferred Shelf Number 
QA9.64 .M67 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Author 
Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action