Search Results for Logic

Logic and discrete mathematics : a concise introduction

Format:

Availability

Online Library~1

Available:
Copies:

10.

Author

Conradie, Willem, 1978- author. Goranko, Valentin, author.

Preferred Shelf Number

QA9 C7423 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

11.

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

Later medieval metaphysics ontology, language, and logic

Format:

Availability

Online Library~1

Available:
Copies:

12.

Author

Keele, Rondo, 1968- Bolyard, Charles. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Mathematics of Fuzzy Sets and Fuzzy Logic

Format:

Availability

Online Library~1

Available:
Copies:

13.

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:

14.

Independence-Friendly Logic A Game-Theoretic Approach

Author

Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.

Preferred Shelf Number

ONLINE

Electronic Access

Designing social research : the logic of anticipation

Format:

Availability

Online Library~1

Available:
Copies:

15.

Author

Blaikie, Norman W. H., 1933-

Preferred Shelf Number

H61 B53 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

Handbook of Practical Logic and Automated Reasoning

Author

Harrison, John.

Preferred Shelf Number

ONLINE

Electronic Access

The theory of gambling and statistical logic

Format:

Availability

Online Library~1

Available:
Copies:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

Logic safari. Book 1, grades 2-3

Author

Risby, Bonnie Lou. Palouda, Annelise, illustrator.

Format:

Availability

~0

Available:
Copies:

34.

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:

35.

Phenomenology, Logic, and the Philosophy of Mathematics

Author

Tieszen, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

PLC (Programmable Logic Controllers) : Programlanabilir lojik denetleyiciler

Format:

Availability

Online Library~1

Available:
Copies:

36.

Author

Yağımlı, Mustafa. Akar, Feyzi, ort. yaz.

Preferred Shelf Number

TJ 223.P7 Y199 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

37.

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:

38.

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:

39.

An introduction to probability and inductive logic

Author

Hacking, Ian.

Preferred Shelf Number

BC 141 H33 2001

Format:

Availability

Beytepe Library~1

Available:
Copies:

40.

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:

41.

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:

42.

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:

43.

On the logic of the social sciences

Author

Habermas, Jurgen.

Preferred Shelf Number

H 61 H2513 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

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:

45.

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:

46.

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:

47.

The logic of images in international relations

Author

Jervis, Robert, 1940-

Preferred Shelf Number

JX 1395 J45

Format:

Availability

Beytepe Library~1

Available:
Copies:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

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:

60.

Logic and the modalities in the twentieth century

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

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:

76.

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:

77.

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:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

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:

84.

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:

85.

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:

86.

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:

87.

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:

88.

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:

89.

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:

90.

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:

91.

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:

92.

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:

93.

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:

94.

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:

95.

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:

96.

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:

97.

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:

98.

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:

99.

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:

100.

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:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

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:

111.

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:

112.

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:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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:

160.

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:

161.

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:

162.

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:

163.

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:

164.

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:

165.

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:

166.

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:

167.

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:

168.

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:

169.

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:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

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:

188.

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:

189.

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:

190.

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:

191.

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:

192.

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:

193.

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:

194.

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:

195.

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:

196.

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:

197.

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:

198.

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:

199.

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:

200.

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:

201.

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:

202.

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:

203.

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:

204.

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:

205.

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:

206.

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:

207.

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:

208.

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:

209.

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:

210.

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:

211.

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:

212.

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:

213.

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:

214.

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:

215.

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

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Author

Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44145-9

Format:

Availability

Online Library~1

Available:
Copies:

217.

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:

218.

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

Author

Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08615-6

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09284-3

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12904-4

Format:

Availability

Online Library~1

Available:
Copies:

221.

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

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

Author

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44923-3

Format:

Availability

Online Library~1

Available:
Copies:

222.

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Author

Janjua, Naeem Khalid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-03949-7

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Author

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08867-9

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

Author

Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09764-0

Format:

Availability

Online Library~1

Available:
Copies:

225.

Marx's Capital and Hegel's Logic : a reexamination

Author

Moseley, Fred, 1946- Smith, Tony, 1951-

Preferred Shelf Number

HB501.M37 M392 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

226.

The limits of neoliberalism : authority, sovereignty and the logic of competition

Author

Davies, William, 1976- author.

Preferred Shelf Number

HB95 D384 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

227.

Formal logic, or, The calculus of inference, necessary and probable

Author

De Morgan, Augustus, 1806-1871, author.

Preferred Shelf Number

BC135 D4 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

228.

Introduction to type-2 fuzzy logic control : theory and applications

Author

Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.

Preferred Shelf Number

ONLINE(341947.1)

Electronic Access

CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961
ebrary http://site.ebrary.com/id/10882750
John Wiley http://dx.doi.org/10.1002/9781118886540
MyiLibrary http://www.myilibrary.com?id=618887

Format:

Availability

Online Library~1

Available:
Copies:

229.

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

Author

Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4614-9429-4

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Dowek, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08918-8

Format:

Availability

Online Library~1

Available:
Copies:

231.

Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city”

Author

Falahat, Somaiyeh. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-04596-8

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers

Author

Miksch, Silvia. editor. Riaño, David. editor. (orcid)0000-0002-1608-0215 ten Teije, Annette. editor. (orcid)0000-0002-9771-8822 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13281-5

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08970-6

Format:

Availability

Online Library~1

Available:
Copies:

234.

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Author

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07151-0

Format:

Availability

Online Library~1

Available:
Copies:

235.

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

Author

Siddique, Nazmul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-02135-5

Format:

Availability

Online Library~1

Available:
Copies:

236.

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Author

Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54789-8

Format:

Availability

Online Library~1

Available:
Copies:

237.

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

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

Author

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14125-1

Format:

Availability

Online Library~1

Available:
Copies:

238.

Seizing power the strategic logic of military coups

Author

Singh, Naunihal. Project Muse.

Preferred Shelf Number

ONLINE(322955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Author

Kehoe, Genevieve M., 1979- author. Project Muse.

Preferred Shelf Number

ONLINE(322990.1)

Electronic Access

Building a programmable logic controller with a PIC16F648A microcontroller

Format:

Availability

Online Library~1

Available:
Copies:

240.

Author

Uzam, Murat, author.

Preferred Shelf Number

TJ223 .P76 U93 2014

Electronic Access

Foundations of fuzzy logic and semantic web languages

Format:

Availability

Online Library~1

Available:
Copies:

241.

Author

Straccia, Umberto., author.

Preferred Shelf Number

QA9.64 .S77 2014

Electronic Access

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Format:

Availability

Online Library~1

Available:
Copies:

242.

Author

Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44116-9

Format:

Availability

Online Library~1

Available:
Copies:

243.

Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop

Author

Lorente, Nicolas. editor. Joachim, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333670.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33137-4

Format:

Availability

Online Library~1

Available:
Copies:

244.

Puzzles in Logic, Languages and Computation The Green Book

Author

Radev, Dragomir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333840.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34372-8

Format:

Availability

Online Library~1

Available:
Copies:

245.

Puzzles in Logic, Languages and Computation The Red Book

Author

Radev, Dragomir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333842.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34378-0

Format:

Availability

Online Library~1

Available:
Copies:

246.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36039-8

Format:

Availability

Online Library~1

Available:
Copies:

247.

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Author

Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334139.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36166-1

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40564-8

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Author

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Preferred Shelf Number

ONLINE(334979.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40624-9

Format:

Availability

Online Library~1

Available:
Copies:

251.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Author

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Availability

Online Library~1

Available:
Copies:

252.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Availability

Online Library~1

Available:
Copies:

253.

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

Author

Starczewski, Janusz T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333243.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29520-1

Format:

Availability

Online Library~1

Available:
Copies:

254.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40948-6

Format:

Availability

Online Library~1

Available:
Copies:

255.

Design, Analysis and Test of Logic Circuits Under Uncertainty

Author

Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335669.1)

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9644-9

Format:

Availability

Online Library~1

Available:
Copies:

256.

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

Author

Drengner, Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338483.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8349-4198-5

Format:

Availability

Online Library~1

Available:
Copies:

257.

After Gödel : Platonism and rationalism in mathematics and logic

Author

Tieszen, Richard L., author.

Preferred Shelf Number

QA9 T54 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

258.

Making sense of Micronesia the logic of Pacific island culture

Author

Hezel, Francis X. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Action and character according to Aristotle the logic of the moral life

Format:

Availability

Online Library~1

Available:
Copies:

259.

Author

Flannery, Kevin L. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Home is where the school is the logic of homeschooling and the emotional labor of mothering

Format:

Availability

Online Library~1

Available:
Copies:

260.

Author

Lois, Jennifer. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

The World-Time Parallel Tense and Modality in Logic and Metaphysics

Format:

Availability

Online Library~1

Available:
Copies:

261.

Author

Rini, A. A.. Cresswell, M. J..

Preferred Shelf Number

ONLINE

Electronic Access

The outer limits of reason what science, mathematics, and logic cannot tell us

Format:

Availability

Online Library~1

Available:
Copies:

262.

Author

Yanofsky, Noson S., 1967- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

Format:

Availability

Online Library~1

Available:
Copies:

263.

Author

Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332970.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03200-9

Format:

Availability

Online Library~1

Available:
Copies:

264.

Selected Advances in Nanoelectronic Devices Logic, Memory and RF

Author

Joodaki, Mojtaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333427.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31350-9

Format:

Availability

Online Library~1

Available:
Copies:

265.

Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions

Author

Aliev, Rafik Aziz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333898.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34895-2

Format:

Availability

Online Library~1

Available:
Copies:

266.

Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Author

Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334337.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36976-6

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Author

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334547.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38164-5

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38197-3

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Author

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334673.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38812-5

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Author

Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334875.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39992-3

Format:

Availability

Online Library~1

Available:
Copies:

271.

Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic

Author

Ollongren, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331780.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5468-7

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Author

Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.

Preferred Shelf Number

ONLINE(335118.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41524-1

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45221-5

Format:

Availability

Online Library~1

Available:
Copies:

274.

Early Software Reliability Prediction A Fuzzy Logic Approach

Author

Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335512.1)

Electronic Access

http://dx.doi.org/10.1007/978-81-322-1176-1

Format:

Availability

Online Library~1

Available:
Copies:

275.

The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689)

Author

Sgarbi, Marco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335856.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4951-1

Format:

Availability

Online Library~1

Available:
Copies:

276.

The Cold War and After : History, Theory, and the Logic of International Politics.

Author

Trachtenberg, Marc.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rk9r

Format:

Availability

Online Library~1

Available:
Copies:

277.

The Three Failures of Creationism : Logic, Rhetoric, and Science

Author

Fitch, Walter M., 1929-2011.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.1525/j.ctt1pnn5n

Format:

Availability

Online Library~1

Available:
Copies:

278.

Risk Management Technologies With Logic and Probabilistic Models

Author

Solozhentsev, E.D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4288-8

Format:

Availability

Online Library~1

Available:
Copies:

279.

Adiabatic Logic Future Trend and System Level Perspective

Author

Teichmann, Philip. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2345-0

Format:

Availability

Online Library~1

Available:
Copies:

280.

Freedom and reflection Hegel and the logic of agency

Author

Yeomans, Christopher.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199794522.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

281.

Formal Languages in Logic A Philosophical and Cognitive Analysis

Author

Dutilh Novaes, Catarina.

Preferred Shelf Number

ONLINE

Electronic Access

Type-2 Fuzzy Logic in Intelligent Control Applications

Format:

Availability

Online Library~1

Available:
Copies:

282.

Author

Castillo, Oscar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24663-0

Format:

Availability

Online Library~1

Available:
Copies:

283.

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Author

Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29414-3

Format:

Availability

Online Library~1

Available:
Copies:

284.

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Author

Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29485-3

Format:

Availability

Online Library~1

Available:
Copies:

285.

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Author

Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29822-6

Format:

Availability

Online Library~1

Available:
Copies:

286.

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Author

Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30743-0

Format:

Availability

Online Library~1

Available:
Copies:

287.

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

Author

Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31555-8

Format:

Availability

Online Library~1

Available:
Copies:

288.

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

Author

Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31570-1

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Author

Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32621-9

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

Author

Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32897-8

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Author

Durán, Franciso. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34005-5

Format:

Availability

Online Library~1

Available:
Copies:

292.

Strategy for Action – I The Logic and Context of Strategic Management

Author

Gandellini, Giorgio. author. Pezzi, Alberto. author. Venanzi, Daniela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2487-8

Format:

Availability

Online Library~1

Available:
Copies:

293.

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Author

Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-59-6

Format:

Availability

Online Library~1

Available:
Copies:

294.

The Rise of China vs. the Logic of Strategy

Author

Luttwak, Edward N.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.4159/harvard.9780674067936

Format:

Availability

Online Library~1

Available:
Copies:

295.

Stealing shining rivers agrarian conflict, market logic, and conservation in a Mexican forest

Author

Doane, Molly, 1966- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic

Format:

Availability

Online Library~1

Available:
Copies:

296.

Author

Baltas, Aristeidēs. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access