9355 publications
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, Information, and Computation
- Logic, Language, and Computation
- Logic, Language, and Computation
- Logic, Language, and Computation
- Logic, Language, and Computation
- Logic, Language, and Computation
- Logic, Language, and Computation
- Logic, Language, and Probability
- Logic, Language, and Security
- Logic, Mathematics, Philosophy, Vintage Enthusiasms
- Logic, Mathematics, and Computer Science
- Logic, Meaning and Computation
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Rationality, and Interaction
- Logic, Reasoning, and Rationality
- Logic, Rewriting, and Concurrency
- Logic, Syntax, and a Structural View
- Logic, Theology, and Poetry in Boethius, Abelard, and Alan of Lille
- Logic, Thought and Action
- Logic, Truth and the Modalities
- Logic-Based 0–1 Constraint Programming
- Logic-Based Artificial Intelligence
- Logic-Based Benders Decomposition
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Based Program Synthesis and Transformation
- Logic-Driven Traffic Big Data Analytics
- Logic: A Brief Course
- Logic: Reference Book for Computer Scientists
- Logica
- Logica
- Logica Universalis
- Logica Universalis
- Logica: Metodo Breve
- Logical Analysis of Hybrid Systems
- Logical Approach to Systems Theory
- Logical Approaches to Computational Barriers
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics
- Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
- Logical Data Modeling
- Logical Empiricism and Naturalism
- Logical Empiricism and Pragmatism
- Logical Form
- Logical Foundations
- Logical Foundations for Cognitive Agents
- Logical Foundations for Rule-Based Systems
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science
- Logical Foundations of Computer Science — Tver '92
- Logical Foundations of Cyber-Physical Systems
- Logical Foundations of Mathematics and Computational Complexity
- Logical Methods
- Logical Methods
- Logical Models of Legal Argumentation
- Logical Number Theory I
- Logical Skills
- Logical Structure and Linguistic Structure
- Logical Structures for Representation of Knowledge and Uncertainty
- Logical Studies of Paraconsistent Reasoning in Science and Mathematics
- Logical Theory and Semantic Analysis
- Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
- Logical Tools for Handling Change in Agent-Based Systems
- Logical Tools for Modelling Legal Argument
- Logical Writings
- Logical and Computational Aspects of Model-Based Reasoning
- Logical and Epistemological Studies in Contemporary Physics
- Logical and Relational Learning
- Logicism, Intuitionism, and Formalism
- Logico-Philosophical Studies
- Logics and Falsifications
- Logics and Models of Concurrent Systems
- Logics and Type Systems in Theory and Practice
- Logics for Computer Science
- Logics for Computer and Data Sciences, and Artificial Intelligence
- Logics for Concurrency
- Logics for Databases and Information Systems
- Logics for Emerging Applications of Databases
- Logics in AI
- Logics in AI
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Computer Science
- Logics of Programs
- Logics of Programs
- Logics of Programs
- Logics of Programs and Their Applications
- Logics of Socialist Education
- Logics of Specification Languages
- Logics of Variable Inclusion
- Logik
- Logik
- Logik der Distinktionen
- Logik der Morphologie im Rahmen einer Logik der gesamten Biologie
- Logik des Rechts
- Logik des Scheiterns
- Logik für Informatiker
- Logik für Philosophen
- Logik im Recht
- Logik im Recht
- Logik im Recht
- Logik und Problematik der Antikorruption
- Logik und Weltbild
- Logik unterm Galgen
- Logik unterm Galgen
- Logik, Widerspruch und Vermittlung
- Logikkalküle
- Logikkalküle in der Informatik
- Logische Analyse der Struktur ausgereifter physikalischer Theorien ‘Non-statement view’ von Theorien
- Logische Analyse der Struktur ausgereifter physikalischer Theorien ‘Non-statement view’ von Theorien
- Logische Grundlagen der Künstlichen Intelligenz
- Logische Grundlagen der Mathematik
- Logische Modellierung mehrdimensionaler Datenbanksysteme
- Logische Propädeutik
- Logische Schriften
- Logische Strukturen beim Beweisen und ihre Verbalisierung
- Logische Syntax der Sprache
- Logische Syntax der Sprache
- Logische Untersuchungen Ergänzungsband Erster Teil
- Logische Untersuchungen Ergänzungsband Zweiter Teil
- Logische Verfahren der juristischen Begründung
- Logische und Funktionale Programmierung
- Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
- Logische und Methodische Grundlagen der Programm- und Systementwicklung
- Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung
- Logischer Empirismus, Werte und Moral
- Logischer Entwurf digitaler Systeme
- Logischer Entwurf digitaler Systeme
- Logischer Entwurf digitaler Systeme Beispiele und Übungen
- Logistic Core Operations with SAP
- Logistic Core Operations with SAP
- Logistic Real Estate Investment and REITs in Europe
- Logistic Regression
- Logistic Regression
- Logistic Regression
- Logistic Regression with Missing Values in the Covariates
- Logistic Support of a Manned Underwater Production Complex
- Logistica e tecnologia RFID
- Logistical Asia
- Logistics
- Logistics 4.0 and Future of Supply Chains
- Logistics Due Diligence
- Logistics Management