Search Results for Logic.

Logic

2025-02-19T00:29:49Z

by Hodges, Wilfrid
Format: Books

Inductive logic

2025-02-19T00:29:49Z

by Gabbay, Dov M., 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780444529367 ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/10
Format: Electronic Resources

Mathematical logic

2025-02-19T00:29:49Z

by Kleene, Stephen Cole, 1909-
Format: Books

Dynamic Epistemic Logic

2025-02-19T00:29:49Z

by van Ditmarsch, Hans. author.
https://doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources

Logic in Reality

2025-02-19T00:29:49Z

by BRENNER, JOSEPH. author.
https://doi.org/10.1007/978-1-4020-8375-4
Format: Electronic Resources

Introduction to logic

2025-02-19T00:29:49Z

by Copi, Irving M.
Format: Books

Logic and Structure

2025-02-19T00:29:49Z

by van Dalen, Dirk. author.
https://doi.org/10.1007/978-1-4471-4558-5
Format: Electronic Resources

Synchronous precharge logic

2025-02-19T00:29:49Z

by Smoszna, Marek.
ScienceDirect https://www.sciencedirect.com/science/book/9780123985279
Format: Electronic Resources

Stochastic Coalgebraic Logic

2025-02-19T00:29:49Z

by Doberkat, Ernst-Erich. author.
https://doi.org/10.1007/978-3-642-02995-0
Format: Electronic Resources

Contemporary logic design

2025-02-19T00:29:49Z

by Katz, Randy H., 1955-
Format: Books

Fuzzy Equational Logic

2025-02-19T00:29:49Z

by Belohlávek, Radim. author.
https://doi.org/10.1007/b105121
Format: Electronic Resources

Introduction to logic

2025-02-19T00:29:49Z

by Packard, Denis J.
Format: Books

Introduction to logic

2025-02-19T00:29:49Z

by Packard, Denis J.
Format: Books

Paraconsistency: Logic and Applications

2025-02-19T00:29:49Z

by Tanaka, Koji. editor.
https://doi.org/10.1007/978-94-007-4438-7
Format: Electronic Resources

Logic, Thought and Action

2025-02-19T00:29:49Z

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

Logic, Reasoning, and Rationality

2025-02-19T00:29:49Z

by Weber, Erik. editor.
https://doi.org/10.1007/978-94-017-9011-6
Format: Electronic Resources

CNC tezgahlar= Programming logic

2025-02-19T00:29:49Z

by Şekercioğlu, Ahmet
Format: Books

The Logic survey analysis

2025-02-19T00:29:49Z

by Rosenberg, Morris
Format: Books

Logic Programming with Prolog

2025-02-19T00:29:49Z

by Bramer, Max. author.
https://doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources

Logic: a Brief Course

2025-02-19T00:29:49Z

by Mundici, Daniele. author.
https://doi.org/10.1007/978-88-470-2361-1
Format: Electronic Resources

Memory-Based Logic Synthesis

2025-02-19T00:29:49Z

by Sasao, Tsutomu. author.
https://doi.org/10.1007/978-1-4419-8104-2
Format: Electronic Resources

Logic for Computer Scientists

2025-02-19T00:29:49Z

by Schöning, Uwe. author.
https://doi.org/10.1007/978-0-8176-4763-6
Format: Electronic Resources

Studies in Legal Logic

2025-02-19T00:29:49Z

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

Logic Programming with Prolog

2025-02-19T00:29:49Z

by Bramer, Max. author.
https://doi.org/10.1007/1-84628-212-8
Format: Electronic Resources

Logic and Integer Programming

2025-02-19T00:29:49Z

by Williams, H. Paul. author.
https://doi.org/10.1007/978-0-387-92280-5
Format: Electronic Resources

Probabilistic Inductive Logic Programming

2025-02-19T00:29:49Z

by De Raedt, Luc. editor.
https://doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources

Hybrid Logic and its Proof-Theory

2025-02-19T00:29:49Z

by Braüner, Torben. author.
https://doi.org/10.1007/978-94-007-0002-4
Format: Electronic Resources

Rigid Flexibility The Logic of Intelligence

2025-02-19T00:29:49Z

by Wang, Pei. author.
https://doi.org/10.1007/1-4020-5045-3
Format: Electronic Resources

Krister Segerberg on Logic of Actions

2025-02-19T00:29:49Z

by Trypuz, Robert. editor.
https://doi.org/10.1007/978-94-007-7046-1
Format: Electronic Resources

Handbook of Philosophical Logic Volume 17

2025-02-19T00:29:49Z

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

Handbook of Philosophical Logic Volume 15

2025-02-19T00:29:49Z

by Gabbay, Dov M. editor.
https://doi.org/10.1007/978-94-007-0485-5
Format: Electronic Resources

Handbook of Philosophical Logic Volume 16

2025-02-19T00:29:49Z

by Gabbay, Dov M. editor.
https://doi.org/10.1007/978-94-007-0479-4
Format: Electronic Resources

Handbook of Philosophical Logic Volume 14

2025-02-19T00:29:49Z

by Gabbay, Dov M. editor.
https://doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources

Handbook of Philosophical Logic Volume 12

2025-02-19T00:29:49Z

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

Handbook of Philosophical Logic Volume 13

2025-02-19T00:29:49Z

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

Recent Trends in Philosophical Logic

2025-02-19T00:29:49Z

by Ciuni, Roberto. editor.
https://doi.org/10.1007/978-3-319-06080-4
Format: Electronic Resources

Gentzen Calculi for Modal Propositional Logic

2025-02-19T00:29:49Z

by Poggiolesi, Francesca. author.
https://doi.org/10.1007/978-90-481-9670-8
Format: Electronic Resources

Mathematical Logic Foundations for Information Science

2025-02-19T00:29:49Z

by Li, Wei. author.
https://doi.org/10.1007/978-3-0348-0862-0
Format: Electronic Resources

Mathematical Logic Foundations for Information Science

2025-02-19T00:29:49Z

by Li, Wei. author.
https://doi.org/10.1007/978-3-7643-9977-1
Format: Electronic Resources

Games: Unifying Logic, Language, and Philosophy

2025-02-19T00:29:49Z

by Majer, Ondrej. editor.
https://doi.org/10.1007/978-1-4020-9374-6
Format: Electronic Resources

Logic Pro 9 : audio and music production

2025-02-19T00:29:49Z

by Cousins, Mark, 1972-
ScienceDirect https://www.sciencedirect.com/science/book/9780240521930
Format: Electronic Resources

Non-commutative Multiple-Valued Logic Algebras

2025-02-19T00:29:49Z

by Ciungu, Lavinia Corina. author.
https://doi.org/10.1007/978-3-319-01589-7
Format: Electronic Resources

A Course on Mathematical Logic

2025-02-19T00:29:49Z

by Srivastava, Shashi Mohan. author.
https://doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources

Cylindric-like Algebras and Algebraic Logic

2025-02-19T00:29:49Z

by Andréka, Hajnal. editor.
https://doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources

Logic, Language, Information, and Computation

2025-02-19T00:29:49Z

by Ong, Luke. editor.
https://doi.org/10.1007/978-3-642-32621-9
Format: Electronic Resources

Mathematical Logic for Computer Science

2025-02-19T00:29:49Z

by Ben-Ari, Mordechai. author.
https://doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources

Logic Circuit Design Selected Methods

2025-02-19T00:29:49Z

by Vingron, Shimon P. author.
https://doi.org/10.1007/978-3-642-27657-6
Format: Electronic Resources

Logic and the Organization of Information

2025-02-19T00:29:49Z

by Frické, Martin. author.
https://doi.org/10.1007/978-1-4614-3088-9
Format: Electronic Resources

Sets, Logic and Maths for Computing

2025-02-19T00:29:49Z

by Makinson, David. author.
https://doi.org/10.1007/978-1-4471-2500-6
Format: Electronic Resources

Handbook of logic and language

2025-02-19T00:29:49Z

by Benthem, Johan van, 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: Electronic Resources

A Concise Introduction to Mathematical Logic

2025-02-19T00:29:49Z

by Rautenberg, Wolfgang. author.
https://doi.org/10.1007/978-1-4419-1221-3
Format: Electronic Resources

A Course on Mathematical Logic

2025-02-19T00:29:49Z

by Srivastava, Shashi Mohan. author.
https://doi.org/10.1007/978-0-387-76277-7
Format: Electronic Resources

Extensionalism: The Revolution in Logic

2025-02-19T00:29:49Z

by Bar-Am, Nimrod. author.
https://doi.org/10.1007/978-1-4020-8168-2
Format: Electronic Resources

Sets, Logic and Maths for Computing

2025-02-19T00:29:49Z

by Makinson, David. author.
https://doi.org/10.1007/978-1-84628-845-6
Format: Electronic Resources

Temporal Logic and State Systems

2025-02-19T00:29:49Z

by Kröger, Fred. author.
https://doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources

Elementary Logic For Software Development

2025-02-19T00:29:49Z

by Lover, Robert. author.
https://doi.org/10.1007/978-1-84800-082-7
Format: Electronic Resources

Introduction to Fuzzy Logic using MATLAB

2025-02-19T00:29:49Z

by Sivanandam, S.N. author.
https://doi.org/10.1007/978-3-540-35781-0
Format: Electronic Resources

A Concise Introduction to Mathematical Logic

2025-02-19T00:29:49Z

by Rautenberg, Wolfgang. author.
https://doi.org/10.1007/0-387-34241-9
Format: Electronic Resources

Fuzzy Logic Applications in Engineering Science

2025-02-19T00:29:49Z

by Harris, J. author.
https://doi.org/10.1007/1-4020-4078-4
Format: Electronic Resources

Fuzzy Logic, Identification and Predictive Control

2025-02-19T00:29:49Z

by Espinosa Oviedo, Jairo Jose. author.
https://doi.org/10.1007/b138626
Format: Electronic Resources

Fuzzy Logic in Financial Analysis

2025-02-19T00:29:49Z

by Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929
https://doi.org/10.1007/3-540-32368-6
Format: Electronic Resources

Logic and computer design fundamentals

2025-02-19T00:29:49Z

by Mano, M. Morris, 1927-
Format: Books

A first course in fuzzy logic

2025-02-19T00:29:49Z

by Nguyen, Hung T., 1944-
Format: Books

Logic and computer design fundamentals

2025-02-19T00:29:49Z

by Mano, M.Morris
Format: Books

The Logic of scientific discovery

2025-02-19T00:29:49Z

by Popper, Karl Raimund, Sir, 1902-
Format: Books

Judgement and the Epistemic Foundation of Logic

2025-02-19T00:29:49Z

by van der Schaar, Maria. editor.
https://doi.org/10.1007/978-94-007-5137-8
Format: Electronic Resources

Johan van Benthem on Logic and Information Dynamics

2025-02-19T00:29:49Z

by Baltag, Alexandru. editor.
https://doi.org/10.1007/978-3-319-06025-5
Format: Electronic Resources

Mathematics of Fuzzy Sets and Fuzzy Logic

2025-02-19T00:29:49Z

by Bede, Barnabas. author.
https://doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources

Towards a Design Flow for Reversible Logic

2025-02-19T00:29:49Z

by Wille, Robert. author.
https://doi.org/10.1007/978-90-481-9579-4
Format: Electronic Resources

Linguistic Fuzzy Logic Methods in Social Sciences

2025-02-19T00:29:49Z

by Arfi, Badredine. author.
https://doi.org/10.1007/978-3-642-13343-5
Format: Electronic Resources

Quantitative Logic and Soft Computing Vol 2

2025-02-19T00:29:49Z

by Cao, Bing-Yuan. editor.
https://doi.org/10.1007/978-3-642-15660-1
Format: Electronic Resources

A Course in Mathematical Logic for Mathematicians

2025-02-19T00:29:49Z

by Manin, Yu. I. author.
https://doi.org/10.1007/978-1-4419-0615-1
Format: Electronic Resources

Logic Functions and Equations Examples and Exercises

2025-02-19T00:29:49Z

by Steinbach, Bernd. author.
https://doi.org/10.1007/978-1-4020-9595-5
Format: Electronic Resources

Logic Synthesis for FSM-Based Control Units

2025-02-19T00:29:49Z

by Barkalov, Alexander. author.
https://doi.org/10.1007/978-3-642-04309-3
Format: Electronic Resources

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2025-02-19T00:29:49Z

by Kolman, Eyal. author.
https://doi.org/10.1007/978-3-540-88077-6
Format: Electronic Resources

Logic Synthesis for Compositional Microprogram Control Units

2025-02-19T00:29:49Z

by Barkalov, Alexander. author.
https://doi.org/10.1007/978-3-540-69285-0
Format: Electronic Resources

Type-2 Fuzzy Logic: Theory and Applications

2025-02-19T00:29:49Z

by Castillo, Oscar. author.
https://doi.org/10.1007/978-3-540-76284-3
Format: Electronic Resources

Computation Engineering Applied Automata Theory and Logic

2025-02-19T00:29:49Z

by Gopalakrishnan, Ganesh. author.
https://doi.org/10.1007/0-387-32520-4
Format: Electronic Resources

Integration of Fuzzy Logic and Chaos Theory

2025-02-19T00:29:49Z

by Li, Zhong. editor.
https://doi.org/10.1007/3-540-32502-6
Format: Electronic Resources

Advanced Fuzzy Logic Technologies in Industrial Applications

2025-02-19T00:29:49Z

by Bai, Ying. editor.
https://doi.org/10.1007/978-1-84628-469-4
Format: Electronic Resources

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2025-02-19T00:29:49Z

by Shepard, Richard B. author.
https://doi.org/10.1007/0-387-28098-7
Format: Electronic Resources

PLC (programmable Logic Controllers) programlanabilir lojik denetleyiciler

2025-02-19T00:29:49Z

by Yağımlı, Mustafa
Format: Books

Logic and structured design for computer programmers

2025-02-19T00:29:49Z

by Rood, Harold J.
Format: Books

Leśniewski's Systems of Logic and Foundations of Mathematics

2025-02-19T00:29:49Z

by Urbaniak, Rafal. author.
https://doi.org/10.1007/978-3-319-00482-2
Format: Electronic Resources

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2025-02-19T00:29:49Z

by Makinson, David. editor.
https://doi.org/10.1007/978-1-4020-9084-4
Format: Electronic Resources

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2025-02-19T00:29:49Z

by Pagliani, Piero. author.
https://doi.org/10.1007/978-1-4020-8622-9
Format: Electronic Resources

Between Logic and Reality Modeling Inference, Action and Understanding

2025-02-19T00:29:49Z

by Trobok, Majda. editor.
https://doi.org/10.1007/978-94-007-2390-0
Format: Electronic Resources

Handbook of the history of logic. Vol. 11, Logic: a history of its central concepts

2025-02-19T00:29:49Z

by Gabbay, Dov M., 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780444529374
Format: Electronic Resources

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

2025-02-19T00:29:49Z

by Duží, Marie. author.
https://doi.org/10.1007/978-90-481-8812-3
Format: Electronic Resources

The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions

2025-02-19T00:29:49Z

by Rahman, Shahid. editor.
https://doi.org/10.1007/978-1-4020-8405-8
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by 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-02-19T00:29:49Z

by Rebuschi, Manuel. editor.
https://doi.org/10.1007/978-3-319-03044-9
Format: Electronic Resources

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2025-02-19T00:29:49Z

by Cellucci, Carlo. author.
https://doi.org/10.1007/978-94-007-6091-2
Format: Electronic Resources

Proof, Computation and Agency Logic at the Crossroads

2025-02-19T00:29:49Z

by van Benthem, Johan. editor.
https://doi.org/10.1007/978-94-007-0080-2
Format: Electronic Resources

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell

2025-02-19T00:29:49Z

by DeVidi, David. editor.
https://doi.org/10.1007/978-94-007-0214-1
Format: Electronic Resources

Strict Finitism and the Logic of Mathematical Applications

2025-02-19T00:29:49Z

by Ye, Feng. author.
https://doi.org/10.1007/978-94-007-1347-5
Format: Electronic Resources

Games, Norms and Reasons Logic at the Crossroads

2025-02-19T00:29:49Z

by van Benthem, Johan. editor.
https://doi.org/10.1007/978-94-007-0714-6
Format: Electronic Resources

Creative sequencing techniques for music production : a practical guide to Pro Tools, Logic, Digital Performer, and Cubase

2025-02-19T00:29:49Z

by Pejrolo, Andrea.
ScienceDirect https://www.sciencedirect.com/science/book/9780240522166
Format: Electronic Resources

Logic and Philosophy of Mathematics in the Early Husserl

2025-02-19T00:29:49Z

by Centrone, Stefania. author.
https://doi.org/10.1007/978-90-481-3246-1
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Pietarinen, Ahti-Veikko. author.
https://doi.org/10.1007/1-4020-3729-5
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-02-19T00:29:49Z

by Klein, Gerwin. editor.
https://doi.org/10.1007/978-3-319-08970-6
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-02-19T00:29:49Z

by Biere, Armin. editor. (orcid)0000-0001-7170-9242
https://doi.org/10.1007/978-3-319-08867-9
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Codish, Michael. editor.
https://doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Janjua, Naeem Khalid. author.
https://doi.org/10.1007/978-3-319-03949-7
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-02-19T00:29:49Z

by Miksch, Silvia. editor.
https://doi.org/10.1007/978-3-319-13281-5
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Zaverucha, Gerson. editor.
https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Siddique, Nazmul. author.
https://doi.org/10.1007/978-3-319-02135-5
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Casadio, Claudia. editor.
https://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-02-19T00:29:49Z

by Gupta, Gopal. editor.
https://doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Bulling, Nils. editor.
https://doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Dowek, Gilles. editor.
https://doi.org/10.1007/978-3-319-08918-8
Format: Electronic Resources

Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks

2025-02-19T00:29:49Z

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

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

2025-02-19T00:29:49Z

by Falahat, Somaiyeh. author.
https://doi.org/10.1007/978-3-658-04596-8
Format: Electronic Resources

The Logic of Logistics Theory, Algorithms, and Applications for Logistics Management

2025-02-19T00:29:49Z

by Simchi-Levi, David. author.
https://doi.org/10.1007/978-1-4614-9149-1
Format: Electronic Resources

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

2025-02-19T00:29:49Z

by Murawski, Roman. author.
https://doi.org/10.1007/978-3-0348-0831-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-02-19T00:29:49Z

by Sinz, Carsten. editor.
https://doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Cariani, Fabrizio. editor.
https://doi.org/10.1007/978-3-319-08615-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-02-19T00:29:49Z

by Escobar, Santiago. editor. (orcid)0000-0002-3550-4781
https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

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

2025-02-19T00:29:49Z

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

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

2025-02-19T00:29:49Z

by Colinet, Margot. editor.
https://doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Kohlenbach, Ulrich. editor.
https://doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by McMillan, Ken. editor.
https://doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Bonizzoni, Paola. editor.
https://doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Grossi, Davide. editor.
https://doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Lodaya, Kamal. editor.
https://doi.org/10.1007/978-3-642-36039-8
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Cabalar, Pedro. editor.
https://doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Masulli, Francesco. editor.
https://doi.org/10.1007/978-3-319-03200-9
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Coecke, Bob. editor.
https://doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

2025-02-19T00:29:49Z

by Czerwinski, Robert. author.
https://doi.org/10.1007/978-3-642-36166-1
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Paule, Peter. editor.
https://doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

2025-02-19T00:29:49Z

by Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Bezhanishvili, Guram. editor.
https://doi.org/10.1007/978-3-642-36976-6
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Lorente, Nicolas. editor.
https://doi.org/10.1007/978-3-642-33137-4
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Tompits, Hans. editor.
https://doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources

Puzzles in Logic, Languages and Computation The Green Book

2025-02-19T00:29:49Z

by Radev, Dragomir. editor.
https://doi.org/10.1007/978-3-642-34372-8
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Ollongren, Alexander. author.
https://doi.org/10.1007/978-1-4614-5468-7
Format: Electronic Resources

Puzzles in Logic, Languages and Computation The Red Book

2025-02-19T00:29:49Z

by Radev, Dragomir. editor.
https://doi.org/10.1007/978-3-642-34378-0
Format: Electronic Resources

Early Software Reliability Prediction A Fuzzy Logic Approach

2025-02-19T00:29:49Z

by Pandey, Ajeet Kumar. author.
https://doi.org/10.1007/978-81-322-1176-1
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Sgarbi, Marco. author.
https://doi.org/10.1007/978-94-007-4951-1
Format: Electronic Resources

Design, Analysis and Test of Logic Circuits Under Uncertainty

2025-02-19T00:29:49Z

by Krishnaswamy, Smita. author.
https://doi.org/10.1007/978-90-481-9644-9
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Libkin, Leonid. editor.
https://doi.org/10.1007/978-3-642-39992-3
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Leite, João. editor.
https://doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources

Selected Advances in Nanoelectronic Devices Logic, Memory and RF

2025-02-19T00:29:49Z

by Joodaki, Mojtaba. author.
https://doi.org/10.1007/978-3-642-31350-9
Format: Electronic Resources

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

2025-02-19T00:29:49Z

by Starczewski, Janusz T. author.
https://doi.org/10.1007/978-3-642-29520-1
Format: Electronic Resources

Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions

2025-02-19T00:29:49Z

by Aliev, Rafik Aziz. author.
https://doi.org/10.1007/978-3-642-34895-2
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Drengner, Jan. author.
https://doi.org/10.1007/978-3-8349-4198-5
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Ewald, William. editor.
https://doi.org/10.1007/978-3-540-69444-1
Format: Electronic Resources

New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers

2025-02-19T00:29:49Z

by Lassiter, Daniel. editor.
https://doi.org/10.1007/978-3-642-31467-4
Format: Electronic Resources

The Logic of Categorial Grammars A deductive account of natural language syntax and semantics

2025-02-19T00:29:49Z

by Moot, Richard. author.
https://doi.org/10.1007/978-3-642-31555-8
Format: Electronic Resources

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2025-02-19T00:29:49Z

by Bezhanishvili, Nick. editor.
https://doi.org/10.1007/978-3-642-31485-8
Format: Electronic Resources

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers

2025-02-19T00:29:49Z

by Aloni, Maria. editor.
https://doi.org/10.1007/978-3-642-31482-7
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Artikis, Alexander. editor.
https://doi.org/10.1007/978-3-642-29414-3
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Erdem, Esra. editor.
https://doi.org/10.1007/978-3-642-30743-0
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Fisher, Michael. editor.
https://doi.org/10.1007/978-3-642-32897-8
Format: Electronic Resources

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers

2025-02-19T00:29:49Z

by Muggleton, Stephen. editor.
https://doi.org/10.1007/978-3-642-31951-8
Format: Electronic Resources

Disruptive Logic Architectures and Technologies From Device to System Level

2025-02-19T00:29:49Z

by Gaillardon, Pierre-Emmanuel. author.
https://doi.org/10.1007/978-1-4614-3058-2
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

2025-02-19T00:29:49Z

by Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-642-28717-6
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Durán, Francisco. editor.
https://doi.org/10.1007/978-3-642-34005-5
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Agotnes, Thomas. editor.
https://doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2025-02-19T00:29:49Z

by Vidal, Germán. editor.
https://doi.org/10.1007/978-3-642-32211-2
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Schrijvers, Tom. editor.
https://doi.org/10.1007/978-3-642-29822-6
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Gandellini, Giorgio. author.
https://doi.org/10.1007/978-88-470-2487-8
Format: Electronic Resources

Risk Management Technologies With Logic and Probabilistic Models

2025-02-19T00:29:49Z

by Solozhentsev, E.D. author.
https://doi.org/10.1007/978-94-007-4288-8
Format: Electronic Resources

Type-2 Fuzzy Logic in Intelligent Control Applications

2025-02-19T00:29:49Z

by Castillo, Oscar. author.
https://doi.org/10.1007/978-3-642-24663-0
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Constable, Robert L. editor.
https://doi.org/10.1007/978-3-642-29485-3
Format: Electronic Resources

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

2025-02-19T00:29:49Z

by Janssen, Jeroen. author.
https://doi.org/10.2991/978-94-91216-59-6
Format: Electronic Resources

Adiabatic Logic Future Trend and System Level Perspective

2025-02-19T00:29:49Z

by Teichmann, Philip. author.
https://doi.org/10.1007/978-94-007-2345-0
Format: Electronic Resources

Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic

2025-02-19T00:29:49Z

by Robyns, Benoît. author.
https://doi.org/10.1007/978-0-85729-901-7
Format: Electronic Resources

Handbook of the history of logic. Volume 6, Sets and extensions in the Twentieth Century

2025-02-19T00:29:49Z

by Kanamori, Akihiro.
ScienceDirect https://www.sciencedirect.com/science/book/9780444516213 ScienceDirect https://www.sciencedirect.com/science/handbooks/18745857/6
Format: Electronic Resources

Logic and Its Applications Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings

2025-02-19T00:29:49Z

by Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923
https://doi.org/10.1007/978-3-642-18026-2
Format: Electronic Resources

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2025-02-19T00:29:49Z

by Pogodalla, Sylvain. editor.
https://doi.org/10.1007/978-3-642-21490-5
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings

2025-02-19T00:29:49Z

by Delgrande, James. editor.
https://doi.org/10.1007/978-3-642-20895-9
Format: Electronic Resources

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers

2025-02-19T00:29:49Z

by Frasconi, Paolo. editor.
https://doi.org/10.1007/978-3-642-21295-6
Format: Electronic Resources

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2025-02-19T00:29:49Z

by van Ditmarsch, Hans. editor.
https://doi.org/10.1007/978-3-642-24130-7
Format: Electronic Resources

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2025-02-19T00:29:49Z

by Balduccini, Marcello. editor.
https://doi.org/10.1007/978-3-642-20832-4
Format: Electronic Resources

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

2025-02-19T00:29:49Z

by Larrosa, Javier. editor.
https://doi.org/10.1007/978-3-642-19486-3
Format: Electronic Resources

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings

2025-02-19T00:29:49Z

by Kuchen, Herbert. editor.
https://doi.org/10.1007/978-3-642-22531-4
Format: Electronic Resources

Proofs and Algorithms An Introduction to Logic and Computability

2025-02-19T00:29:49Z

by Dowek, Gilles. author.
https://doi.org/10.1007/978-0-85729-121-9
Format: Electronic Resources

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings

2025-02-19T00:29:49Z

by Blackburn, Patrick. editor.
https://doi.org/10.1007/978-3-642-21350-2
Format: Electronic Resources

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2025-02-19T00:29:49Z

by Kaiser, Lukasz. author.
https://doi.org/10.1007/978-3-642-22807-0
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

2025-02-19T00:29:49Z

by Alpuente, María. editor.
https://doi.org/10.1007/978-3-642-20551-4
Format: Electronic Resources

Value Determination of Supply Chain Initiatives A Quantification Approach Based on Fuzzy Logic and System Dynamics

2025-02-19T00:29:49Z

by Wessely, Philip. author.
https://doi.org/10.1007/978-3-8349-6323-9
Format: Electronic Resources

Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design

2025-02-19T00:29:49Z

by Vasyukevich, Vadim. author.
https://doi.org/10.1007/978-3-642-21611-4
Format: Electronic Resources

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2025-02-19T00:29:49Z

by Marino, Julio. editor.
https://doi.org/10.1007/978-3-642-20775-4
Format: Electronic Resources

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

2025-02-19T00:29:49Z

by Beklemishev, Lev D. editor.
https://doi.org/10.1007/978-3-642-20920-8
Format: Electronic Resources

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, Proceedings

2025-02-19T00:29:49Z

by Balasubramaniam, P. editor.
https://doi.org/10.1007/978-3-642-19263-0
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings

2025-02-19T00:29:49Z

by Leite, Joao. editor.
https://doi.org/10.1007/978-3-642-22359-4
Format: Electronic Resources

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2025-02-19T00:29:49Z

by Stankovic, Radomir S. author.
https://doi.org/10.1007/978-3-642-11682-7
Format: Electronic Resources

Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008

2025-02-19T00:29:49Z

by Skof, Fulvia. editor.
https://doi.org/10.1007/978-88-470-1836-5
Format: Electronic Resources

Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968

2025-02-19T00:29:49Z

by Casari, E. editor.
https://doi.org/10.1007/978-3-642-11080-1
Format: Electronic Resources

Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic

2025-02-19T00:29:49Z

by Rini, Adriane. author.
https://doi.org/10.1007/978-94-007-0050-5
Format: Electronic Resources

Advanced Techniques in Logic Synthesis, Optimizations and Applications

2025-02-19T00:29:49Z

by Gulati, Kanupriya. editor.
https://doi.org/10.1007/978-1-4419-7518-8
Format: Electronic Resources

Mathematical Logic and Model Theory A Brief Introduction

2025-02-19T00:29:49Z

by Prestel, Alexander. author.
https://doi.org/10.1007/978-1-4471-2176-3
Format: Electronic Resources

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

2025-02-19T00:29:49Z

by Bezhanishvili, Nick. editor.
https://doi.org/10.1007/978-3-642-22303-7
Format: Electronic Resources

Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: From Vague to Crisp

2025-02-19T00:29:49Z

by Perlovsky, Leonid. author.
https://doi.org/10.1007/978-3-642-22830-8
Format: Electronic Resources

Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011, Proceedings

2025-02-19T00:29:49Z

by Petrosino, Alfredo. editor.
https://doi.org/10.1007/978-3-642-23713-3
Format: Electronic Resources

A Science of Operations Machines, Logic and the Invention of Programming

2025-02-19T00:29:49Z

by Priestley, Mark. author.
https://doi.org/10.1007/978-1-84882-555-0
Format: Electronic Resources

Computational Logic and Set Theory Applying Formalized Logic to Analysis

2025-02-19T00:29:49Z

by Schwartz, Jacob T. author.
https://doi.org/10.1007/978-0-85729-808-9
Format: Electronic Resources

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

2025-02-19T00:29:49Z

by Dawar, Anuj. editor.
https://doi.org/10.1007/978-3-642-15205-4
Format: Electronic Resources

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers

2025-02-19T00:29:49Z

by Icard, Thomas. editor.
https://doi.org/10.1007/978-3-642-14729-6
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Dix, Jürgen. editor.
https://doi.org/10.1007/978-3-642-16867-3
Format: Electronic Resources

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2025-02-19T00:29:49Z

by Governatori, Guido. editor.
https://doi.org/10.1007/978-3-642-14183-6
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

2025-02-19T00:29:49Z

by Fermüller, Christian G. editor.
https://doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

2025-02-19T00:29:49Z

by Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721
https://doi.org/10.1007/978-3-642-16310-4
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

2025-02-19T00:29:49Z

by Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-642-17511-4
Format: Electronic Resources

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

2025-02-19T00:29:49Z

by Dawar, Anuj. editor.
https://doi.org/10.1007/978-3-642-13824-9
Format: Electronic Resources

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

2025-02-19T00:29:49Z

by Cao, Tru Hoang. author.
https://doi.org/10.1007/978-3-642-14087-7
Format: Electronic Resources

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

2025-02-19T00:29:49Z

by Blass, Andreas. editor.
https://doi.org/10.1007/978-3-642-15025-8
Format: Electronic Resources

Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

2025-02-19T00:29:49Z

by Bonanno, Giacomo. editor.
https://doi.org/10.1007/978-3-642-15164-4
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

2025-02-19T00:29:49Z

by De Schreye, Danny. editor.
https://doi.org/10.1007/978-3-642-12592-8
Format: Electronic Resources

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2025-02-19T00:29:49Z

by Escobar, Santiago. editor. (orcid)0000-0002-3550-4781
https://doi.org/10.1007/978-3-642-11999-6
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

2025-02-19T00:29:49Z

by Dix, Jürgen. editor.
https://doi.org/10.1007/978-3-642-14977-1
Format: Electronic Resources

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers

2025-02-19T00:29:49Z

by Raedt, Luc. editor.
https://doi.org/10.1007/978-3-642-13840-9
Format: Electronic Resources

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

2025-02-19T00:29:49Z

by Aloni, Maria. editor.
https://doi.org/10.1007/978-3-642-14287-1
Format: Electronic Resources

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2025-02-19T00:29:49Z

by Dovier, Agostino. editor.
https://doi.org/10.1007/978-3-642-14309-0
Format: Electronic Resources

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2025-02-19T00:29:49Z

by Montali, Marco. author.
https://doi.org/10.1007/978-3-642-14538-4
Format: Electronic Resources

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

2025-02-19T00:29:49Z

by Triantaphyllou, Evangelos. author.
https://doi.org/10.1007/978-1-4419-1630-3
Format: Electronic Resources

Fuzzy Logic-Based Algorithms for Video De-Interlacing

2025-02-19T00:29:49Z

by Brox, Piedad. author.
https://doi.org/10.1007/978-3-642-10695-8
Format: Electronic Resources

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

2025-02-19T00:29:49Z

by Blume, Matthias. editor.
https://doi.org/10.1007/978-3-642-12251-4
Format: Electronic Resources

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2025-02-19T00:29:49Z

by Magnani, Lorenzo. editor.
https://doi.org/10.1007/978-3-642-15223-8
Format: Electronic Resources

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

2025-02-19T00:29:49Z

by Ono, Hiroakira. editor.
https://doi.org/10.1007/978-3-642-02261-6
Format: Electronic Resources

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

2025-02-19T00:29:49Z

by He, Xiangdong. editor.
https://doi.org/10.1007/978-3-642-04893-7
Format: Electronic Resources

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

2025-02-19T00:29:49Z

by Bosch, Peter. editor.
https://doi.org/10.1007/978-3-642-00665-4
Format: Electronic Resources

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2025-02-19T00:29:49Z

by Oddi, Angelo. editor.
https://doi.org/10.1007/978-3-642-03251-6
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

2025-02-19T00:29:49Z

by Erdem, Esra. editor.
https://doi.org/10.1007/978-3-642-04238-6
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

2025-02-19T00:29:49Z

by Hanus, Michael. editor. (orcid)0000-0002-4953-8202
https://doi.org/10.1007/978-3-642-00515-2
Format: Electronic Resources

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

2025-02-19T00:29:49Z

by Ramanujam, R. editor.
https://doi.org/10.1007/978-3-540-92701-3
Format: Electronic Resources

Duverger's Law of Plurality Voting The Logic of Party Competition in Canada, India, the United Kingdom and the United States

2025-02-19T00:29:49Z

by Grofman, Bernard. editor.
https://doi.org/10.1007/978-0-387-09720-6
Format: Electronic Resources

A Missing Link in Cybernetics Logic and Continuity

2025-02-19T00:29:49Z

by Andrew, Alex M. author.
https://doi.org/10.1007/978-0-387-75164-1
Format: Electronic Resources

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2025-02-19T00:29:49Z

by Solojentsev, Evgueni D. author.
https://doi.org/10.1007/978-0-387-77946-1
Format: Electronic Resources

Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference

2025-02-19T00:29:49Z

by Goertzel, Ben. author.
https://doi.org/10.1007/978-0-387-76872-4
Format: Electronic Resources

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2025-02-19T00:29:49Z

by Seipel, Dietmar. editor.
https://doi.org/10.1007/978-3-642-00675-3
Format: Electronic Resources

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2025-02-19T00:29:49Z

by Archibald, Margaret. editor.
https://doi.org/10.1007/978-3-642-03092-5
Format: Electronic Resources

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

2025-02-19T00:29:49Z

by Grädel, Erich. editor.
https://doi.org/10.1007/978-3-642-04027-6
Format: Electronic Resources

Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

2025-02-19T00:29:49Z

by Di Gesù, Vito. editor.
https://doi.org/10.1007/978-3-642-02282-1
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Fisher, Michael. editor.
https://doi.org/10.1007/978-3-642-02734-5
Format: Electronic Resources

Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications

2025-02-19T00:29:49Z

by Celikyilmaz, Asli. author.
https://doi.org/10.1007/978-3-540-89924-2
Format: Electronic Resources

Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications

2025-02-19T00:29:49Z

by Seising, Rudolf. editor.
https://doi.org/10.1007/978-3-540-93802-6
Format: Electronic Resources

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

2025-02-19T00:29:49Z

by Hill, Patricia M. editor.
https://doi.org/10.1007/978-3-642-02846-5
Format: Electronic Resources

Statistisches Matching mit Fuzzy Logic Theorie und Anwendung in Sozial- und Wirtschaftswissenschaften

2025-02-19T00:29:49Z

by Noll, Patrick. author.
https://doi.org/10.1007/978-3-8348-9586-8
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2025-02-19T00:29:49Z

by King, Andy. editor.
https://doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

2025-02-19T00:29:49Z

by Cervesato, Iliano. editor.
https://doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2025-02-19T00:29:49Z

by Banda, Maria Garcia. editor.
https://doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources

Neural Cell Behavior and Fuzzy Logic The Being of Neural Cells and Mathematics of Feeling

2025-02-19T00:29:49Z

by Sandler, Uziel. author.
https://doi.org/10.1007/978-0-387-09543-1
Format: Electronic Resources

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2025-02-19T00:29:49Z

by Fages, François. editor.
https://doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

2025-02-19T00:29:49Z

by van der Meyden, Ron. editor.
https://doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

2025-02-19T00:29:49Z

by Garrigue, Jacques. editor.
https://doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Sadri, Fariba. editor.
https://doi.org/10.1007/978-3-540-88833-8
Format: Electronic Resources

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings

2025-02-19T00:29:49Z

by Železný, Filip. editor.
https://doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

2025-02-19T00:29:49Z

by Kaminski, Michael. editor.
https://doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources

Fuzzy Logic in Action: Applications in Epidemiology and Beyond

2025-02-19T00:29:49Z

by Massad, Eduardo. author.
https://doi.org/10.1007/978-3-540-69094-8
Format: Electronic Resources

Introduction to Logic and Theory of Knowledge Lectures 1906/07

2025-02-19T00:29:49Z

by Husserl, Edmund. author.
https://doi.org/10.1007/978-1-4020-6727-3
Format: Electronic Resources

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

2025-02-19T00:29:49Z

by Beckmann, Arnold. editor.
https://doi.org/10.1007/978-3-540-69407-6
Format: Electronic Resources

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2025-02-19T00:29:49Z

by Blockeel, Hendrik. editor.
https://doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

2025-02-19T00:29:49Z

by Hodges, Wilfrid. editor.
https://doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

2025-02-19T00:29:49Z

by Dershowitz, Nachum. editor.
https://doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

2025-02-19T00:29:49Z

by Dahl, Verónica. editor.
https://doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings

2025-02-19T00:29:49Z

by Melin, Patricia. editor.
https://doi.org/10.1007/978-3-540-72950-1
Format: Electronic Resources

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2025-02-19T00:29:49Z

by Muggleton, Stephen. editor.
https://doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings

2025-02-19T00:29:49Z

by Masulli, Francesco. editor.
https://doi.org/10.1007/978-3-540-73400-0
Format: Electronic Resources

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers

2025-02-19T00:29:49Z

by Cate, Balder D. ten. editor.
https://doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources

Mathematical Problems from Applied Logic II Logics for the XXIst Century

2025-02-19T00:29:49Z

by Gabbay, Dov. editor.
https://doi.org/10.1007/978-0-387-69245-6
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Inoue, Katsumi. editor.
https://doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Azevedo, Francisco. editor.
https://doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings

2025-02-19T00:29:49Z

by Baral, Chitta. editor.
https://doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources

Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

2025-02-19T00:29:49Z

by Castillo, Oscar. editor.
https://doi.org/10.1007/978-3-540-72434-6
Format: Electronic Resources

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

2025-02-19T00:29:49Z

by Duparc, Jacques. editor.
https://doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources

Logica Universalis Towards a General Theory of Logic

2025-02-19T00:29:49Z

by Beziau, Jean-Yves. editor.
https://doi.org/10.1007/978-3-7643-8354-1
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2025-02-19T00:29:49Z

by Puebla, Germán. editor.
https://doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources

Fuzzy Logic A Spectrum of Theoretical & Practical Issues

2025-02-19T00:29:49Z

by Wang, Paul P. editor.
https://doi.org/10.1007/978-3-540-71258-9
Format: Electronic Resources

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

2025-02-19T00:29:49Z

by Leivant, Daniel. editor.
https://doi.org/10.1007/978-3-540-73445-1
Format: Electronic Resources

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

2025-02-19T00:29:49Z

by Cooper, Barry S. editor.
https://doi.org/10.1007/978-3-540-73001-9
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic

2025-02-19T00:29:49Z

by Clavel, Manuel. author.
https://doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

2025-02-19T00:29:49Z

by Hagiya, Masami. editor.
https://doi.org/10.1007/11737414
Format: Electronic Resources

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

2025-02-19T00:29:49Z

by Ésik, Zoltán. editor.
https://doi.org/10.1007/11874683
Format: Electronic Resources

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Hnich, Brahim. editor.
https://doi.org/10.1007/11754602
Format: Electronic Resources

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings

2025-02-19T00:29:49Z

by Goble, Lou. editor.
https://doi.org/10.1007/11786849
Format: Electronic Resources

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2025-02-19T00:29:49Z

by Gabbay, Dov M. editor.
https://doi.org/10.1007/0-387-31072-X
Format: Electronic Resources

Fundamentals of Switching Theory and Logic Design A Hands on Approach

2025-02-19T00:29:49Z

by Astola, Jaakko. author.
https://doi.org/10.1007/0-387-30311-1
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

2025-02-19T00:29:49Z

by Hermann, Miki. editor.
https://doi.org/10.1007/11916277
Format: Electronic Resources

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers

2025-02-19T00:29:49Z

by Di Gesù, Vito. editor.
https://doi.org/10.1007/10983652
Format: Electronic Resources

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

2025-02-19T00:29:49Z

by Bloch, Isabelle. editor.
https://doi.org/10.1007/11676935
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Toni, Francesca. editor.
https://doi.org/10.1007/11750734
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2025-02-19T00:29:49Z

by Hill, Patricia M. editor.
https://doi.org/10.1007/11680093
Format: Electronic Resources

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

2025-02-19T00:29:49Z

by Bhattacharya, Alakananda. author.
https://doi.org/10.1007/978-3-540-33459-0
Format: Electronic Resources

Function Algebras on Finite Sets Basic Course on Many-Valued Logic and Clone Theory

2025-02-19T00:29:49Z

by Lau, Dietlinde. author.
https://doi.org/10.1007/3-540-36023-9
Format: Electronic Resources

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

2025-02-19T00:29:49Z

by Penczek, Wojciech. author.
https://doi.org/10.1007/978-3-540-32870-4
Format: Electronic Resources

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

2025-02-19T00:29:49Z

by Etalle, Sandro. editor.
https://doi.org/10.1007/11799573
Format: Electronic Resources

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2025-02-19T00:29:49Z

by Bollig, Benedikt. author.
https://doi.org/10.1007/3-540-32923-4
Format: Electronic Resources

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry

2025-02-19T00:29:49Z

by Mazzola, Guerino. author.
https://doi.org/10.1007/978-3-540-36874-8
Format: Electronic Resources

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

2025-02-19T00:29:49Z

by Lippe, Wolfram-Manfred. author.
https://doi.org/10.1007/3-540-29274-8
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2025-02-19T00:29:49Z

by Leite, João. editor.
https://doi.org/10.1007/11533092
Format: Electronic Resources

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

2025-02-19T00:29:49Z

by Ong, Luke. editor.
https://doi.org/10.1007/11538363
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

2025-02-19T00:29:49Z

by Baader, Franz. editor.
https://doi.org/10.1007/b106931
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

2025-02-19T00:29:49Z

by Etalle, Sandro. editor.
https://doi.org/10.1007/b137785
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

2025-02-19T00:29:49Z

by Sutcliffe, Geoff. editor.
https://doi.org/10.1007/11591191
Format: Electronic Resources

The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management

2025-02-19T00:29:49Z

by Simchi-Levi, David. author.
https://doi.org/10.1007/b97669
Format: Electronic Resources

Logica Universalis Towards a General Theory of Logic

2025-02-19T00:29:49Z

by Beziau, Jean-Yves. editor.
https://doi.org/10.1007/b137041
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

2025-02-19T00:29:49Z

by Baral, Chitta. editor.
https://doi.org/10.1007/11546207
Format: Electronic Resources