Search Results for Logic.

Modern logic

2026-03-28T16:57:47Z

Yazar Grünberg, Teo.
Format: Kitap

Dynamic logic

2026-03-28T16:57:47Z

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

Logic in games

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Logic, Thought and Action

2026-03-28T16:57:47Z

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

Logic, Reasoning, and Rationality

2026-03-28T16:57:47Z

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

Fundamentals of logic design

2026-03-28T16:57:47Z

Yazar Roth, Charles H.
Format: Kitap

Digital Logic for Computing

2026-03-28T16:57:47Z

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

Studies in Legal Logic

2026-03-28T16:57:47Z

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

Grammar, Philosophy, and Logic

2026-03-28T16:57:47Z

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

Logic and information flow

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Handbook of Philosophical Logic Volume 13

2026-03-28T16:57:47Z

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

Handbook of Philosophical Logic Volume 12

2026-03-28T16:57:47Z

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

Handbook of Philosophical Logic Volume 17

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Popper, Karl.
Format: Kitap

The social logic of space

2026-03-28T16:57:47Z

Yazar Hillier, Bill.
Format: Kitap

From logic to logic programming

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Mano, M. Morris.
Format: Kitap

Design of Reconfigurable Logic Controllers

2026-03-28T16:57:47Z

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

The essence of logic circuits

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Farrell, Joyce.
Format: Kitap

Logic : the ancient art of reason

2026-03-28T16:57:47Z

Yazar Fontainelle, Earl.
Format: Kitap

Starting out with programming logic & design

2026-03-28T16:57:47Z

Yazar Gaddis, Tony.
Format: Kitap

Francis Bacon : the logic of sensation

2026-03-28T16:57:47Z

Yazar Deleuze, Gilles
Format: Kitap

Logic testing and design for testability

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Non-logic Devices in Logic Processes

2026-03-28T16:57:47Z

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

Towards the Future of Fuzzy Logic

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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.

2026-03-28T16:57:47Z

Yazar Stoll, Robert Roth.
Format: Kitap

Fundamentals of digital logic with Verilog design

2026-03-28T16:57:47Z

Yazar Brown, Stephen D.
Format: Kitap

High-performance system design : circuits and logic

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Jameson, Fredric.
Format: Kitap

Introduction to Discrete Mathematics via Logic and Proof

2026-03-28T16:57:47Z

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

Subjective Logic A Formalism for Reasoning Under Uncertainty

2026-03-28T16:57:47Z

Yazar Jøsang, Audun. author.
https://doi.org/10.1007/978-3-319-42337-1
Format: Electronic Resources

Logic Synthesis for FPGA-Based Finite State Machines

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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 VHDL

2026-03-28T16:57:47Z

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

Introduction to Logic Circuits & Logic Design with Verilog

2026-03-28T16:57:47Z

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

A Practical Introduction to Fuzzy Logic using LISP

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

The Logic of Charity Great Expectations in Hard Times

2026-03-28T16:57:47Z

Yazar Breeze, Beth. author.
https://doi.org/10.1057/9781137522658
Format: Electronic Resources

Fuzzy Logic in Intelligent System Design Theory and Applications

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Clarke, Kevin A.
Format: Kitap

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Greider, William.
Format: Kitap

From Logic to Practice Italian Studies in the Philosophy of Mathematics

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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�

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Game logic : level up and create your own games with science activities for kids

2026-03-28T16:57:47Z

Yazar Smibert, Angie.
Format: Kitap

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Ariely, Dan.
Format: Kitap

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Bueno de Mesquita, Bruce.
Format: Kitap

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Miriam Joseph, Sister.
Format: Kitap

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Costa e Silva, Tiago da.
Format: Kitap

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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.

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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.

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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 3

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Kacprzyk, Janusz. editor.
https://doi.org/10.1007/978-3-319-66830-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 2

2026-03-28T16:57:47Z

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

Warren's abstract machine : a tutorial reconstruction

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

Yazar Awodey, Steve.
Format: Kitap

Nuel Belnap on Indeterminism and Free Action

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Dag Prawitz on Proofs and Meaning

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

The Practice of Prolog

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Heyting Algebras Duality Theory

2026-03-28T16:57:47Z

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

Dialetheism and its Applications

2026-03-28T16:57:47Z

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

Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes

2026-03-28T16:57:47Z

Yazar Dutilh Novaes, Catarina. author.
https://doi.org/10.1007/978-1-4020-5853-0
Format: Electronic Resources

Vague Objects and Vague Identity New Essays on Ontic Vagueness

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Unifying the Philosophy of Truth

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Perspectives on Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

2026-03-28T16:57:47Z

Yazar van Kerkhove, Bart. editor.
https://doi.org/10.1007/1-4020-5034-8
Format: Electronic Resources

Induction, Algorithmic Learning Theory, and Philosophy

2026-03-28T16:57:47Z

Yazar Friend, Michèle. editor.
https://doi.org/10.1007/978-1-4020-6127-1
Format: Electronic Resources

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

2026-03-28T16:57:47Z

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

Nature's Principles

2026-03-28T16:57:47Z

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

Concurrent constraint programming

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

The Concept of Argument A Philosophical Foundation

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Epistemology, Context, and Formalism

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Axiomatic Method and Category Theory

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

The Dynamics of Thought

2026-03-28T16:57:47Z

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

Formal Ontology and Conceptual Realism

2026-03-28T16:57:47Z

Yazar Cocchiarella, Nino B. author.
https://doi.org/10.1007/978-1-4020-6204-9
Format: Electronic Resources

Attitudes and Changing Contexts

2026-03-28T16:57:47Z

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

Immanent Realism An Introduction to Brentano

2026-03-28T16:57:47Z

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

Theoretical Knowledge

2026-03-28T16:57:47Z

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

Alexius Meinong, The Shepherd of Non-Being

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Scientific Progress A Study Concerning the Nature of the Relation Between Successive Scientific Theories

2026-03-28T16:57:47Z

Yazar Dilworth, Craig. author.
https://doi.org/10.1007/978-1-4020-6354-1
Format: Electronic Resources

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

2026-03-28T16:57:47Z

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

Diagrammatology An Investigation on the Borderlines of Phenomenology, Ontology, and Semiotics

2026-03-28T16:57:47Z

Yazar Stjernfelt, Frederik. author.
https://doi.org/10.1007/978-1-4020-5652-9
Format: Electronic Resources

The Philosophy of Information Quality

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Blameworthy Belief A Study in Epistemic Deontologism

2026-03-28T16:57:47Z

Yazar Nottelmann, Nikolaj. author.
https://doi.org/10.1007/978-1-4020-5961-2
Format: Electronic Resources

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

2026-03-28T16:57:47Z

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

Artefact Kinds Ontology and the Human-Made World

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Intuition and the Axiomatic Method

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Poincaré, Philosopher of Science Problems and Perspectives

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

Mastermind : Sherlock Holmes gibi düşünmek

2026-03-28T16:57:47Z

Yazar Konnikova, Maria.
Format: Kitap

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

2026-03-28T16:57:47Z

Yazar Hegel, Georg Wilhelm Friedrich.
Format: Kitap

Akıl dediğimiz şey : aforizmalar

2026-03-28T16:57:47Z

Yazar Hegel, Georg Wilhelm Friedrich.
Format: Kitap

Being logical : a guide to good thinking

2026-03-28T16:57:47Z

Yazar McInerny, D. Q.
Format: Kitap

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

2026-03-28T16:57:47Z

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

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

2026-03-28T16:57:47Z

Yazar Ebu Hamid el-Gazzali.
Format: Kitap

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

2026-03-28T16:57:47Z

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)

2026-03-28T16:57:47Z

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

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

2026-03-28T16:57:47Z

Yazar Ali Sedat bin Cevdet.
Format: Kitap

Belief Change Introduction and Overview

2026-03-28T16:57:47Z

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

Husserl’s Logical Investigations in the New Century: Western and Chinese Perspectives

2026-03-28T16:57:47Z

Yazar Lau, Kwok-Ying. editor.
https://doi.org/10.1007/978-1-4020-5758-8
Format: Electronic Resources

Logics for Computer Science Classical and Non-Classical

2026-03-28T16:57:47Z

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

Formal Languages and Compilation

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

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

2026-03-28T16:57:47Z

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

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

2026-03-28T16:57:47Z

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

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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 II

2026-03-28T16:57:47Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-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 I

2026-03-28T16:57:47Z

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

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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

2026-03-28T16:57:47Z

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