Search Results for Logic.

Modern logic

2025-07-04T17:38:05Z

Yazar Grünberg, Teo.
Format: Kitap

Dynamic logic

2025-07-04T17:38:05Z

Yazar Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: Electronic Resources

Game Logic

2025-07-04T17:38:05Z

Format: Kitap

Logic in games

2025-07-04T17:38:05Z

Yazar Benthem, Johan van, 1949-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: Electronic Resources

Advanced Logic Synthesis

2025-07-04T17:38:05Z

Yazar Reis, André Inácio. editor.
https://doi.org/10.1007/978-3-319-67295-3
Format: Electronic Resources

Logic, Thought and Action

2025-07-04T17:38:05Z

Yazar Vanderveken, Daniel. editor.
https://doi.org/10.1007/1-4020-3167-X
Format: Electronic Resources

Logic, Reasoning, and Rationality

2025-07-04T17:38:05Z

Yazar Weber, Erik. editor.
http://dx.doi.org/10.1007/978-94-017-9011-6
Format: Electronic Resources

Fundamentals of logic design

2025-07-04T17:38:05Z

Yazar Roth, Charles H.
Format: Kitap

Digital Logic for Computing

2025-07-04T17:38:05Z

Yazar Seiffertt, John. author.
https://doi.org/10.1007/978-3-319-56839-3
Format: Electronic Resources

Studies in Legal Logic

2025-07-04T17:38:05Z

Yazar Hage, Jaap. author.
https://doi.org/10.1007/1-4020-3552-7
Format: Electronic Resources

Grammar, Philosophy, and Logic

2025-07-04T17:38:05Z

Yazar Silver, Bruce. author.
https://doi.org/10.1007/978-3-319-66257-2
Format: Electronic Resources

Logic and information flow

2025-07-04T17:38:05Z

Yazar Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Electronic Resources

Krister Segerberg on Logic of Actions

2025-07-04T17:38:05Z

Yazar Trypuz, Robert. editor.
http://dx.doi.org/10.1007/978-94-007-7046-1
Format: Electronic Resources

Handbook of Philosophical Logic Volume 13

2025-07-04T17:38:05Z

Yazar Gabbay, D.M. editor.
https://doi.org/10.1007/1-4020-3521-7
Format: Electronic Resources

Handbook of Philosophical Logic Volume 12

2025-07-04T17:38:05Z

Yazar Gabbay, D.M. editor.
https://doi.org/10.1007/1-4020-3092-4
Format: Electronic Resources

Handbook of Philosophical Logic Volume 17

2025-07-04T17:38:05Z

Yazar Gabbay, Dov M. editor.
http://dx.doi.org/10.1007/978-94-007-6600-6
Format: Electronic Resources

Logic programming languages : constraints, functions, and objects

2025-07-04T17:38:05Z

Yazar Rutten, J. J. M. M.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: Electronic Resources

The logic of scientific discovery

2025-07-04T17:38:05Z

Yazar Popper, Karl.
Format: Kitap

The social logic of space

2025-07-04T17:38:05Z

Yazar Hillier, Bill.
Format: Kitap

From logic to logic programming

2025-07-04T17:38:05Z

Yazar Doets, Kees, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: Electronic Resources

Logic and computer design fundamentals

2025-07-04T17:38:05Z

Yazar Mano, M. Morris.
Format: Kitap

Design of Reconfigurable Logic Controllers

2025-07-04T17:38:05Z

Yazar Karatkevich, Andrei. editor.
http://dx.doi.org/10.1007/978-3-319-26725-8
Format: Electronic Resources

The essence of logic circuits

2025-07-04T17:38:05Z

Yazar Unger, Stephen H., 1931-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: Electronic Resources

The logic of knowledge bases

2025-07-04T17:38:05Z

Yazar Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: Electronic Resources

A grammatical view of logic programming

2025-07-04T17:38:05Z

Yazar Deransart, Pierre, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: Electronic Resources

Programming logic and design, comprehensive version

2025-07-04T17:38:05Z

Yazar Farrell, Joyce.
Format: Kitap

Logic : the ancient art of reason

2025-07-04T17:38:05Z

Yazar Fontainelle, Earl.
Format: Kitap

Starting out with programming logic & design

2025-07-04T17:38:05Z

Yazar Gaddis, Tony.
Format: Kitap

Francis Bacon : the logic of sensation

2025-07-04T17:38:05Z

Yazar Deleuze, Gilles
Format: Kitap

Logic testing and design for testability

2025-07-04T17:38:05Z

Yazar Fujiwara, Hideo, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: Electronic Resources

Separation Logic for High-level Synthesis

2025-07-04T17:38:05Z

Yazar Winterstein, Felix. author.
https://doi.org/10.1007/978-3-319-53222-6
Format: Electronic Resources

Non-logic Devices in Logic Processes

2025-07-04T17:38:05Z

Yazar Ma, Yanjun. author.
https://doi.org/10.1007/978-3-319-48339-9
Format: Electronic Resources

Towards the Future of Fuzzy Logic

2025-07-04T17:38:05Z

Yazar Seising, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-319-18750-1
Format: Electronic Resources

Pesky Essays on the Logic of Philosophy

2025-07-04T17:38:05Z

Yazar Lucey, Kenneth G. author.
http://dx.doi.org/10.1007/978-3-319-08063-5
Format: Electronic Resources

Logic programming : proceedings of the 1995 international symposium

2025-07-04T17:38:05Z

Yazar Lloyd, John.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: Electronic Resources

Inductive logic programming : from machine learning to software engineering

2025-07-04T17:38:05Z

Yazar Bergadano, Francesco, 1963-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: Electronic Resources

Johan van Benthem on Logic and Information Dynamics

2025-07-04T17:38:05Z

Yazar Baltag, Alexandru. editor.
http://dx.doi.org/10.1007/978-3-319-06025-5
Format: Electronic Resources

Logic programming : proceedings of the 1997 International Symposium

2025-07-04T17:38:05Z

Yazar Małuszyński, J. (Jan), 1941-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: Electronic Resources

Logic programming : proceedings of the Tenth International Conference on Logic Programming

2025-07-04T17:38:05Z

Yazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: Electronic Resources

Set theory and logic/ Robert R. Stoll.

2025-07-04T17:38:05Z

Yazar Stoll, Robert Roth.
Format: Kitap

Fundamentals of digital logic with Verilog design

2025-07-04T17:38:05Z

Yazar Brown, Stephen D.
Format: Kitap

High-performance system design : circuits and logic

2025-07-04T17:38:05Z

Yazar Oklobdzija, Vojin G.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: Electronic Resources

The Logic of Economic Reform in China

2025-07-04T17:38:05Z

Yazar Zhang, Xiaojing. author.
http://dx.doi.org/10.1007/978-3-662-47404-4
Format: Electronic Resources

Digital Systems From Logic Gates to Processors

2025-07-04T17:38:05Z

Yazar Deschamps, Jean-Pierre. author.
https://doi.org/10.1007/978-3-319-41198-9
Format: Electronic Resources

Declarative logic programming : theory, systems, and applications

2025-07-04T17:38:05Z

Yazar Kifer, M. (Michael), 1954-, editor, author.
Abstract with links to full text http://dx.doi.org/10.1145/3191315
Format: Electronic Resources

Logic programming : proceedings of the eleventh International Conference on Logic Programming

2025-07-04T17:38:05Z

Yazar Van Hentenryck, Pascal.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: Electronic Resources

Logic programming : proceedings of the 1999 International Conference on Logic Programming

2025-07-04T17:38:05Z

Yazar De Schreye, Danny.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: Electronic Resources

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

2025-07-04T17:38:05Z

Yazar International Conference on Logic Programming (14th : 1997 : Leuven, Belgium)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: Electronic Resources

Past and Present Interactions in Legal Reasoning and Logic

2025-07-04T17:38:05Z

Yazar Armgardt, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-16021-4
Format: Electronic Resources

Postmodernism, or, The cultural logic of late capitalism

2025-07-04T17:38:05Z

Yazar Jameson, Fredric.
Format: Kitap

Introduction to Discrete Mathematics via Logic and Proof

2025-07-04T17:38:05Z

Yazar Jongsma, Calvin. author.
https://doi.org/10.1007/978-3-030-25358-5
Format: Electronic Resources

Logic Synthesis for FPGA-Based Finite State Machines

2025-07-04T17:38:05Z

Yazar Barkalov, Alexander. author.
http://dx.doi.org/10.1007/978-3-319-24202-6
Format: Electronic Resources

Fuzzy Logic An Introductory Course for Engineering Students

2025-07-04T17:38:05Z

Yazar Trillas, Enric. author.
http://dx.doi.org/10.1007/978-3-319-14203-6
Format: Electronic Resources

Introduction to Logic Circuits & Logic Design with Verilog

2025-07-04T17:38:05Z

Yazar LaMeres, Brock J. author.
https://doi.org/10.1007/978-3-319-53883-9
Format: Electronic Resources

Introduction to Logic Circuits & Logic Design with VHDL

2025-07-04T17:38:05Z

Yazar LaMeres, Brock J. author.
https://doi.org/10.1007/978-3-319-34195-8
Format: Electronic Resources

A Practical Introduction to Fuzzy Logic using LISP

2025-07-04T17:38:05Z

Yazar Argüelles Mendez, Luis. author.
http://dx.doi.org/10.1007/978-3-319-23186-0
Format: Electronic Resources

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

2025-07-04T17:38:05Z

Yazar Di Nola, Antonio. author.
http://dx.doi.org/10.1007/978-3-319-30406-9
Format: Electronic Resources

Fifty Years of Fuzzy Logic and its Applications

2025-07-04T17:38:05Z

Yazar Tamir, Dan E. editor.
http://dx.doi.org/10.1007/978-3-319-19683-1
Format: Electronic Resources

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

2025-07-04T17:38:05Z

Yazar Torza, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-18362-6
Format: Electronic Resources

Modality, Semantics and Interpretations The Second Asian Workshop on Philosophical Logic

2025-07-04T17:38:05Z

Yazar Ju, Shier. editor.
http://dx.doi.org/10.1007/978-3-662-47197-5
Format: Electronic Resources

Logic Functions and Equations Binary Models for Computer Science

2025-07-04T17:38:05Z

Yazar Posthoff, Christian. author.
https://doi.org/10.1007/978-3-030-02420-8
Format: Electronic Resources

Digital Logic Design Using Verilog Coding and RTL Synthesis

2025-07-04T17:38:05Z

Yazar Taraate, Vaibbhav. author.
http://dx.doi.org/10.1007/978-81-322-2791-5
Format: Electronic Resources

Fuzzy Logic in Intelligent System Design Theory and Applications

2025-07-04T17:38:05Z

Yazar Melin, Patricia. editor.
https://doi.org/10.1007/978-3-319-67137-6
Format: Electronic Resources

On Sets and Graphs Perspectives on Logic and Combinatorics

2025-07-04T17:38:05Z

Yazar Omodeo, Eugenio G. author.
https://doi.org/10.1007/978-3-319-54981-1
Format: Electronic Resources

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

2025-07-04T17:38:05Z

Yazar Taha, Saleem Mohammed Ridha. author.
http://dx.doi.org/10.1007/978-3-319-23479-3
Format: Electronic Resources

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

2025-07-04T17:38:05Z

Yazar van Benthem, Johan. editor.
https://doi.org/10.1007/978-1-4020-5012-7
Format: Electronic Resources

Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism

2025-07-04T17:38:05Z

Yazar Rebuschi, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-03044-9
Format: Electronic Resources

A model discipline : political science and the logic of representations

2025-07-04T17:38:05Z

Yazar Clarke, Kevin A.
Format: Kitap

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2025-07-04T17:38:05Z

Yazar Ayala-Rincón, Mauricio. author.
https://doi.org/10.1007/978-3-319-51653-0
Format: Electronic Resources

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

2025-07-04T17:38:05Z

Yazar Ahmed, Jameel. author.
https://doi.org/10.1007/978-981-10-3120-5
Format: Electronic Resources

Fuzzy Logic for Image Processing A Gentle Introduction Using Java

2025-07-04T17:38:05Z

Yazar Caponetti, Laura. author.
https://doi.org/10.1007/978-3-319-44130-6
Format: Electronic Resources

New Data Structures and Algorithms for Logic Synthesis and Verification

2025-07-04T17:38:05Z

Yazar Amaru, Luca Gaetano. author.
https://doi.org/10.1007/978-3-319-43174-1
Format: Electronic Resources

Representation Theorems in Computer Science A Treatment in Logic Engineering

2025-07-04T17:38:05Z

Yazar Özçep, Özgür Lütfü. author.
https://doi.org/10.1007/978-3-030-25785-9
Format: Electronic Resources

Understanding neural networks and fuzzy logic : basic concepts and applications

2025-07-04T17:38:05Z

Yazar Kartalopoulos, Stamatios V., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099
Format: Electronic Resources

Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic

2025-07-04T17:38:05Z

Yazar Gonzalez, Claudia I. author.
https://doi.org/10.1007/978-3-319-53994-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Mendel, Jerry M., 1938-, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6852062
Format: Electronic Resources

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms

2025-07-04T17:38:05Z

Yazar Benis-Sinaceur, Hourya. author.
http://dx.doi.org/10.1007/978-3-319-17109-8
Format: Electronic Resources

Signs of Logic Peircean Themes on the Philosophy of Language, Games, and Communication

2025-07-04T17:38:05Z

Yazar Pietarinen, Ahti-Veikko. author.
https://doi.org/10.1007/1-4020-3729-5
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Akay, Metin.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: Electronic Resources

One world, ready or not : the manic logic of global capitalism

2025-07-04T17:38:05Z

Yazar Greider, William.
Format: Kitap

From Logic to Practice Italian Studies in the Philosophy of Mathematics

2025-07-04T17:38:05Z

Yazar Lolli, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-10434-8
Format: Electronic Resources

Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications

2025-07-04T17:38:05Z

Yazar Castillo, Oscar. editor.
http://dx.doi.org/10.1007/978-3-319-10960-2
Format: Electronic Resources

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing

2025-07-04T17:38:05Z

Yazar Seising, Rudolf. editor.
https://doi.org/10.1007/978-3-319-48317-7
Format: Electronic Resources

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

2025-07-04T17:38:05Z

Yazar Ponce-Cruz, Pedro. author.
http://dx.doi.org/10.1007/978-3-319-26656-5
Format: Electronic Resources

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

2025-07-04T17:38:05Z

Yazar Lin, Pey-Chang Kent. author.
http://dx.doi.org/10.1007/978-1-4614-9429-4
Format: Electronic Resources

Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995

2025-07-04T17:38:05Z

Yazar Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: Electronic Resources

Logic programming and non-monotonic reasoning : proceedings of the first international workshop

2025-07-04T17:38:05Z

Yazar Nerode, Anil, 1932-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Maher, Michael, 1959-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: Electronic Resources

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

2025-07-04T17:38:05Z

Yazar Trillas, Enric. author.
https://doi.org/10.1007/978-3-319-56053-3
Format: Electronic Resources

Fuzzy Logic Control in Energy Systems with design applications in MATLAB�/Simulink�

2025-07-04T17:38:05Z

Yazar Altas, Ismail H.
http://dx.doi.org/10.1049/PBPO091E
Format: Electronic Resources

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS

2025-07-04T17:38:05Z

Yazar Posser, Gracieli. author.
https://doi.org/10.1007/978-3-319-48899-8
Format: Electronic Resources

Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges

2025-07-04T17:38:05Z

Yazar Kahraman, Cengiz. editor.
http://dx.doi.org/10.1007/978-3-319-31093-0
Format: Electronic Resources

Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics

2025-07-04T17:38:05Z

Yazar Chatti, Saloua. author.
https://doi.org/10.1007/978-3-030-27466-5
Format: Electronic Resources

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets

2025-07-04T17:38:05Z

Yazar Gregg, John. author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Olivas, Frumen. author.
https://doi.org/10.1007/978-3-319-70851-5
Format: Electronic Resources

Word Games, Riddles and Logic Tests Tax Your Brain and Boost Your English

2025-07-04T17:38:05Z

Yazar Wallwork, Adrian. author.
https://doi.org/10.1007/978-3-319-67241-0
Format: Electronic Resources

The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm

2025-07-04T17:38:05Z

Yazar Mazzola, Guerino. author.
https://doi.org/10.1007/978-3-319-64364-9
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Castillo, Oscar. editor.
https://doi.org/10.1007/978-3-319-71008-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Yanofsky, Noson S., 1967-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642245
Format: Electronic Resources

Learning and soft computing : support vector machines, neural networks, and fuzzy logic models

2025-07-04T17:38:05Z

Yazar Kecman, V. (Vojislav), 1948-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Janjua, Naeem Khalid. author.
http://dx.doi.org/10.1007/978-3-319-03949-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Siddique, Nazmul. author.
http://dx.doi.org/10.1007/978-3-319-02135-5
Format: Electronic Resources

Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization

2025-07-04T17:38:05Z

Yazar Melin, Patricia. editor.
http://dx.doi.org/10.1007/978-3-319-17747-2
Format: Electronic Resources

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2025-07-04T17:38:05Z

Yazar O'Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-44561-8
Format: Electronic Resources

A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications

2025-07-04T17:38:05Z

Yazar de Barros, Laécio Carvalho. author.
https://doi.org/10.1007/978-3-662-53324-6
Format: Electronic Resources

The upside of irrationality : the unexpected benefits of defying logic at work and at home

2025-07-04T17:38:05Z

Yazar Ariely, Dan.
Format: Kitap

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

2025-07-04T17:38:05Z

Yazar Falahat, Somaiyeh. author.
http://dx.doi.org/10.1007/978-3-658-04596-8
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar John, Robert. editor.
https://doi.org/10.1007/978-3-319-72892-6
Format: Electronic Resources

Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic

2025-07-04T17:38:05Z

Yazar Magdalena, Luis. editor.
http://dx.doi.org/10.1007/978-3-319-16235-5
Format: Electronic Resources

Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor

2025-07-04T17:38:05Z

Yazar Calvo Sánchez, Tomasa. editor.
http://dx.doi.org/10.1007/978-3-319-30421-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources

Predictioneer's game : using the logic of brazen self-interest to see and shape the future

2025-07-04T17:38:05Z

Yazar Bueno de Mesquita, Bruce.
Format: Kitap

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

2025-07-04T17:38:05Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Blackburn, Patrick. editor.
https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources

The trivium : the liberal arts of logic, grammar, and rhetoric understanding the nature and function of language

2025-07-04T17:38:05Z

Yazar Miriam Joseph, Sister.
Format: Kitap

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

2025-07-04T17:38:05Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Baltag, Alexandru. editor.
https://doi.org/10.1007/978-3-662-55665-8
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2025-07-04T17:38:05Z

Yazar Kiselyov, Oleg. editor.
http://dx.doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Amezcua, Jonathan. author.
https://doi.org/10.1007/978-3-319-73773-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Barkalov, Alexander. author.
https://doi.org/10.1007/978-3-319-59837-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar van der Hoek, Wiebe. editor.
http://dx.doi.org/10.1007/978-3-662-48561-3
Format: Electronic Resources

The logic of design process : invention and discovery in light of the semiotics of Charles S. Peirce

2025-07-04T17:38:05Z

Yazar Costa e Silva, Tiago da.
Format: Kitap

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

2025-07-04T17:38:05Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Cussens, James. editor.
https://doi.org/10.1007/978-3-319-63342-8
Format: Electronic Resources

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Kennedy, Juliette. editor.
https://doi.org/10.1007/978-3-662-55386-2
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Balduccini, Marcello. editor.
https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Kohlenbach, Ulrich. editor.
http://dx.doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Iemhoff, Rosalie. editor.
https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Fullér, Robert. editor.
https://doi.org/10.1007/978-3-030-12544-8
Format: Electronic Resources

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2025-07-04T17:38:05Z

Yazar Väänänen, Jouko. editor.
http://dx.doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar de Paiva, Valeria. editor.
http://dx.doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-23534-9
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
https://doi.org/10.1007/978-3-030-20528-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Chaves, Madalena. editor.
https://doi.org/10.1007/978-3-030-19432-1
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Silva, Alexandra. editor.
https://doi.org/10.1007/978-3-662-59565-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Sikos, Jennifer. editor.
https://doi.org/10.1007/978-3-662-59620-3
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Lutz, Carsten. editor.
https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Silva, Josep. editor.
https://doi.org/10.1007/978-3-030-16202-3
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Faber, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-319-21768-0
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Casadio, Claudia. editor.
http://dx.doi.org/10.1007/978-3-642-54789-8
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Falaschi, Moreno. editor.
http://dx.doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Proietti, Maurizio. editor.
http://dx.doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources

Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19–21, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Petrosino, Alfredo. editor.
https://doi.org/10.1007/978-3-319-52962-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Mesnard, Fred. editor.
https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

International Conference on Oriental Thinking and Fuzzy Logic Celebration of the 50th Anniversary in the era of Complex Systems and Big Data

2025-07-04T17:38:05Z

Yazar Cao, Bing-Yuan. editor.
http://dx.doi.org/10.1007/978-3-319-30874-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Lambrix, Patrick. editor.
http://dx.doi.org/10.1007/978-3-319-17966-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Aher, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-46906-4
Format: Electronic Resources

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Hansen, Helle Hvid. editor.
https://doi.org/10.1007/978-3-662-54332-0
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Biere, Armin. editor.
http://dx.doi.org/10.1007/978-3-319-08867-9
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Demri, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Klein, Gerwin. editor.
http://dx.doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources

Enterprise Software Sourcing Performance The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations

2025-07-04T17:38:05Z

Yazar Nöhren, Marko. author.
http://dx.doi.org/10.1007/978-3-319-23926-2
Format: Electronic Resources

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Lucanu, Dorel. editor.
http://dx.doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-8
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources

Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016

2025-07-04T17:38:05Z

Yazar Fan, Tai-He. editor.
https://doi.org/10.1007/978-3-319-46206-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Sinz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Miksch, Silvia. editor.
http://dx.doi.org/10.1007/978-3-319-13281-5
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Kacprzyk, Janusz. editor.
https://doi.org/10.1007/978-3-319-66824-6
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Kacprzyk, Janusz. editor.
https://doi.org/10.1007/978-3-319-66827-7
Format: Electronic Resources

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

2025-07-04T17:38:05Z

Yazar Kacprzyk, Janusz. editor.
https://doi.org/10.1007/978-3-319-66830-7
Format: Electronic Resources

Warren's abstract machine : a tutorial reconstruction

2025-07-04T17:38:05Z

Yazar Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: Electronic Resources

Category theory

2025-07-04T17:38:05Z

Yazar Awodey, Steve.
Format: Kitap

Nuel Belnap on Indeterminism and Free Action

2025-07-04T17:38:05Z

Yazar Müller, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-01754-9
Format: Electronic Resources

Leo Esakia on Duality in Modal and Intuitionistic Logics

2025-07-04T17:38:05Z

Yazar Bezhanishvili, Guram. editor.
http://dx.doi.org/10.1007/978-94-017-8860-1
Format: Electronic Resources

Dag Prawitz on Proofs and Meaning

2025-07-04T17:38:05Z

Yazar Wansing, Heinrich. editor.
http://dx.doi.org/10.1007/978-3-319-11041-7
Format: Electronic Resources

David Makinson on Classical Methods for Non-Classical Problems

2025-07-04T17:38:05Z

Yazar Hansson, Sven Ove. editor.
http://dx.doi.org/10.1007/978-94-007-7759-0
Format: Electronic Resources

The Practice of Prolog

2025-07-04T17:38:05Z

Yazar Sterling, Leon.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: Electronic Resources

A Model–Theoretic Approach to Proof Theory

2025-07-04T17:38:05Z

Yazar Kotlarski, Henryk. author.
https://doi.org/10.1007/978-3-030-28921-8
Format: Electronic Resources

Heyting Algebras Duality Theory

2025-07-04T17:38:05Z

Yazar Esakia, Leo. author.
https://doi.org/10.1007/978-3-030-12096-2
Format: Electronic Resources

Dialetheism and its Applications

2025-07-04T17:38:05Z

Yazar Rieger, Adam. editor.
https://doi.org/10.1007/978-3-030-30221-4
Format: Electronic Resources

Vague Objects and Vague Identity New Essays on Ontic Vagueness

2025-07-04T17:38:05Z

Yazar Akiba, Ken. editor.
http://dx.doi.org/10.1007/978-94-007-7978-5
Format: Electronic Resources

Constructivity and Computability in Historical and Philosophical Perspective

2025-07-04T17:38:05Z

Yazar Dubucs, Jacques. editor.
http://dx.doi.org/10.1007/978-94-017-9217-2
Format: Electronic Resources

Unifying the Philosophy of Truth

2025-07-04T17:38:05Z

Yazar Achourioti, Theodora. editor.
http://dx.doi.org/10.1007/978-94-017-9673-6
Format: Electronic Resources

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

2025-07-04T17:38:05Z

Yazar Friend, Michèle. author.
http://dx.doi.org/10.1007/978-94-007-7058-4
Format: Electronic Resources

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

2025-07-04T17:38:05Z

Yazar Atten, Mark van. author.
http://dx.doi.org/10.1007/978-3-319-10031-9
Format: Electronic Resources

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

2025-07-04T17:38:05Z

Yazar Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: Electronic Resources

Nature's Principles

2025-07-04T17:38:05Z

Yazar Faye, Jan. editor.
https://doi.org/10.1007/1-4020-3258-7
Format: Electronic Resources

Concurrent constraint programming

2025-07-04T17:38:05Z

Yazar Saraswat, Vijay, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: Electronic Resources

Abductive Reasoning Logical Investigations into Discovery and Explanation

2025-07-04T17:38:05Z

Yazar Aliseda, Atocha. author.
https://doi.org/10.1007/1-4020-3907-7
Format: Electronic Resources

The Concept of Argument A Philosophical Foundation

2025-07-04T17:38:05Z

Yazar Wohlrapp, Harald R. author.
http://dx.doi.org/10.1007/978-94-017-8762-8
Format: Electronic Resources

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

2025-07-04T17:38:05Z

Yazar Montano, Ulianov. author.
http://dx.doi.org/10.1007/978-3-319-03452-2
Format: Electronic Resources

Epistemology, Context, and Formalism

2025-07-04T17:38:05Z

Yazar Lihoreau, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-02943-6
Format: Electronic Resources

Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context

2025-07-04T17:38:05Z

Yazar Calosi, Claudio. editor.
http://dx.doi.org/10.1007/978-3-319-05356-1
Format: Electronic Resources

Axiomatic Method and Category Theory

2025-07-04T17:38:05Z

Yazar Rodin, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-00404-4
Format: Electronic Resources

The Limits of Logical Empiricism Selected Papers of Arthur Pap

2025-07-04T17:38:05Z

Yazar Keupink, Alfons. editor.
https://doi.org/10.1007/1-4020-4299-X
Format: Electronic Resources

The Dynamics of Thought

2025-07-04T17:38:05Z

Yazar Gardenfors, Peter. author.
https://doi.org/10.1007/1-4020-3399-0
Format: Electronic Resources

Attitudes and Changing Contexts

2025-07-04T17:38:05Z

Yazar van Rooij, Robert. author.
https://doi.org/10.1007/1-4020-4177-2
Format: Electronic Resources

Immanent Realism An Introduction to Brentano

2025-07-04T17:38:05Z

Yazar Albertazzi, Liliana. author.
https://doi.org/10.1007/1-4020-4202-7
Format: Electronic Resources

Theoretical Knowledge

2025-07-04T17:38:05Z

Yazar Stepin, Vyacheslav S. author.
https://doi.org/10.1007/1-4020-3046-0
Format: Electronic Resources

Alexius Meinong, The Shepherd of Non-Being

2025-07-04T17:38:05Z

Yazar Jacquette, Dale. author.
http://dx.doi.org/10.1007/978-3-319-18075-5
Format: Electronic Resources

Virtue Epistemology Naturalized Bridges Between Virtue Epistemology and Philosophy of Science

2025-07-04T17:38:05Z

Yazar Fairweather, Abrol. editor.
http://dx.doi.org/10.1007/978-3-319-04672-3
Format: Electronic Resources

Bas van Fraassen’s Approach to Representation and Models in Science

2025-07-04T17:38:05Z

Yazar Gonzalez, Wenceslao J. editor.
http://dx.doi.org/10.1007/978-94-007-7838-2
Format: Electronic Resources

The Philosophy of Information Quality

2025-07-04T17:38:05Z

Yazar Floridi, Luciano. editor.
http://dx.doi.org/10.1007/978-3-319-07121-3
Format: Electronic Resources

Applications of Conceptual Spaces The Case for Geometric Knowledge Representation

2025-07-04T17:38:05Z

Yazar Zenker, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-15021-5
Format: Electronic Resources

From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski

2025-07-04T17:38:05Z

Yazar Rojszczak, Artur. author.
https://doi.org/10.1007/1-4020-3397-4
Format: Electronic Resources

Artefact Kinds Ontology and the Human-Made World

2025-07-04T17:38:05Z

Yazar Franssen, Maarten. editor.
http://dx.doi.org/10.1007/978-3-319-00801-1
Format: Electronic Resources

Rethinking the Individualism-Holism Debate Essays in the Philosophy of Social Science

2025-07-04T17:38:05Z

Yazar Zahle, Julie. editor.
http://dx.doi.org/10.1007/978-3-319-05344-8
Format: Electronic Resources

Explanation in the Special Sciences The Case of Biology and History

2025-07-04T17:38:05Z

Yazar Kaiser, Marie I. editor.
http://dx.doi.org/10.1007/978-94-007-7563-3
Format: Electronic Resources

Perspectives on Theory of Controversies and the Ethics of Communication Explorations of Marcelo Dascal's Contributions to Philosophy

2025-07-04T17:38:05Z

Yazar Riesenfeld, Dana. editor.
http://dx.doi.org/10.1007/978-94-007-7131-4
Format: Electronic Resources

A Logical Approach to Philosophy Essays in Honour of Graham Solomon

2025-07-04T17:38:05Z

Yazar DeVidi, David. editor.
https://doi.org/10.1007/1-4020-4054-7
Format: Electronic Resources

Intuition and the Axiomatic Method

2025-07-04T17:38:05Z

Yazar Carson, Emily. editor.
https://doi.org/10.1007/1-4020-4040-7
Format: Electronic Resources

Physical Theory and its Interpretation Essays in Honor of Jeffrey Bub

2025-07-04T17:38:05Z

Yazar Demopoulos, William. editor.
https://doi.org/10.1007/1-4020-4876-9
Format: Electronic Resources

Poincaré, Philosopher of Science Problems and Perspectives

2025-07-04T17:38:05Z

Yazar de Paz, María. editor.
http://dx.doi.org/10.1007/978-94-017-8780-2
Format: Electronic Resources

Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle

2025-07-04T17:38:05Z

Yazar Cheng, Yong. author.
https://doi.org/10.1007/978-981-13-9949-7
Format: Electronic Resources

Mastermind : Sherlock Holmes gibi düşünmek

2025-07-04T17:38:05Z

Yazar Konnikova, Maria.
Format: Kitap

Mantık bilimi : büyük mantık

2025-07-04T17:38:05Z

Yazar Hegel, Georg Wilhelm Friedrich.
Format: Kitap

Akıl dediğimiz şey : aforizmalar

2025-07-04T17:38:05Z

Yazar Hegel, Georg Wilhelm Friedrich.
Format: Kitap

Being logical : a guide to good thinking

2025-07-04T17:38:05Z

Yazar McInerny, D. Q.
Format: Kitap

Kıstâsu'l-efkâr : düşüncenin kıstası

2025-07-04T17:38:05Z

Yazar Şemsüddin Es-Semerkandi.
Format: Kitap

El-kıstasü’l-Müstakim : dosdoğru ölçü

2025-07-04T17:38:05Z

Yazar Ebu Hamid el-Gazzali.
Format: Kitap

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

2025-07-04T17:38:05Z

Yazar de Haan, Ronald. author.
https://doi.org/10.1007/978-3-662-60670-4
Format: Electronic Resources

Esasül Kıyas : Fıkhi Kıyasın Esası (inceleme-çeviri-metin)

2025-07-04T17:38:05Z

Yazar Ebû Hâmid el-Gazzâlî.
Format: Kitap

Mîzânu'l-ukûl : mantık ve metodoloji

2025-07-04T17:38:05Z

Yazar Ali Sedat bin Cevdet.
Format: Kitap

Belief Change Introduction and Overview

2025-07-04T17:38:05Z

Yazar Fermé, Eduardo. author.
https://doi.org/10.1007/978-3-319-60535-7
Format: Electronic Resources

Logics for Computer Science Classical and Non-Classical

2025-07-04T17:38:05Z

Yazar Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: Electronic Resources

Formal Languages and Compilation

2025-07-04T17:38:05Z

Yazar Crespi Reghizzi, Stefano. author.
https://doi.org/10.1007/978-3-030-04879-2
Format: Electronic Resources

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
https://doi.org/10.1007/978-3-319-66706-5
Format: Electronic Resources

Combinatorial Set Theory of C*-algebras

2025-07-04T17:38:05Z

Yazar Farah, Ilijas. author.
https://doi.org/10.1007/978-3-030-27093-3
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Hung, Dang Van. editor.
https://doi.org/10.1007/978-3-319-67729-3
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2025-07-04T17:38:05Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-60225-7
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar van der Aalst, Wil. editor.
https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2025-07-04T17:38:05Z

Yazar Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2025-07-04T17:38:05Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446
https://doi.org/10.1007/978-3-030-32505-3
Format: Electronic Resources

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2025-07-04T17:38:05Z

Yazar Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format: Electronic Resources

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Bogomolov, Sergiy. editor.
https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2025-07-04T17:38:05Z

Yazar Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2025-07-04T17:38:05Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-030-31514-6
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2025-07-04T17:38:05Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Esparza, Javier. editor.
https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Hospodár, Michal. editor.
https://doi.org/10.1007/978-3-030-23247-4
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2025-07-04T17:38:05Z

Yazar McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2025-07-04T17:38:05Z

Yazar Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: Electronic Resources

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Hofman, Piotrek. editor.
https://doi.org/10.1007/978-3-030-24886-4
Format: Electronic Resources

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Bernardi, Raffaella. editor.
https://doi.org/10.1007/978-3-662-59648-7
Format: Electronic Resources

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2025-07-04T17:38:05Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar James, Phillip. editor.
https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-13435-8
Format: Electronic Resources

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X
https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2025-07-04T17:38:05Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2025-07-04T17:38:05Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2025-07-04T17:38:05Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2025-07-04T17:38:05Z

Yazar Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Charlier, Émilie. editor.
https://doi.org/10.1007/978-3-319-62809-7
Format: Electronic Resources

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2025-07-04T17:38:05Z

Yazar Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2025-07-04T17:38:05Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2025-07-04T17:38:05Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources

System Design with Memristor Technologies

2025-07-04T17:38:05Z

Yazar Guckert, Lauren
http://dx.doi.org/10.1049/PBCS038E
Format: Electronic Resources

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar van Bevern, René. editor. (orcid)0000-0002-4805-218X
https://doi.org/10.1007/978-3-030-19955-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2025-07-04T17:38:05Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: Electronic Resources

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2025-07-04T17:38:05Z

Yazar Carayol, Arnaud. editor.
https://doi.org/10.1007/978-3-319-60134-2
Format: Electronic Resources

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
https://doi.org/10.1007/978-3-030-28796-2
Format: Electronic Resources

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-07-04T17:38:05Z

Yazar Bojańczyk, Mikołaj. editor.
https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources

Intention

2025-07-04T17:38:05Z

Yazar Anscombe, Gertrude Elizabeth Margaret
Format: Kitap

Critique of judgement

2025-07-04T17:38:05Z

Yazar Kant, Immanuel.
Format: Kitap

Digital mantık devrelerinin tasarımı : birleşik devreler, eşzamanlı devreler, hafızalı devreler

2025-07-04T17:38:05Z

Yazar Gazi, Orhan.
Format: Kitap

2-10 yaş çocuklar için hayatı kolaylaştıran temel alışkanlıklar

2025-07-04T17:38:05Z

Yazar Aygün, Bilge.
Format: Kitap

Decision-making with neutrosophic set : theory and applications in knowledge management

2025-07-04T17:38:05Z

Yazar Garg, Harish.
Format: Kitap

Cümlelerle akıl oyunları : 10 yaş üzeri merak eden herkes için mantık bulmacaları

2025-07-04T17:38:05Z

Yazar Erar, Hatice.
Format: Kitap

Kitâbu’l Burhân : burhân kitabı

2025-07-04T17:38:05Z

Yazar Farabi.
Format: Kitap

A First Introduction to Quantum Computing and Information

2025-07-04T17:38:05Z

Yazar Zygelman, Bernard. author.
https://doi.org/10.1007/978-3-319-91629-3
Format: Electronic Resources

Tenzîlü’l-efkâr fî ta’d’îli’l-esrâr :binceleme - tercüme - tahkikli metin

2025-07-04T17:38:05Z

Yazar Esirüddin El-Ebheri.
Format: Kitap