Mathematical logic.
Overview
Works: | 705 works in 1 publications in 1 languages |
---|
Titles
Logic Without Gaps or Gluts = How to Solve the Paradoxes Without Sacrificing Classical Logic /
by:
(Language materials, printed)
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
by:
(Language materials, printed)
Reasoning Web. Declarative Artificial Intelligence = 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures /
by:
(Language materials, printed)
Ein strukturorientierter Aufbau der klassischen Zahlenbereiche = mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings /
by:
(Language materials, printed)
Objects, Structures, and Logics = FilMat Studies in the Philosophy of Mathematics /
by:
(Language materials, printed)
Mathematische Geschichten V – Binome, Ungleichungen und Beweise = Für begabte Schülerinnen und Schüler in der Mittelstufe /
by:
(Language materials, printed)
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
by:
(Language materials, printed)
Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups
by:
(Language materials, printed)
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
by:
(Language materials, printed)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(Language materials, printed)
Mathematische Geschichten VI – Kombinatorik, Polynome und Beweise = Für begabte Schülerinnen und Schüler in der Mittelstufe /
by:
(Language materials, printed)
The Exoteric Square of Opposition = The Sixth World Congress on the Square of Opposition /
by:
(Language materials, printed)
Essential Mathematics for Undergraduates = A Guided Approach to Algebra, Geometry, Topology and Analysis /
by:
(Language materials, printed)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(Language materials, printed)
Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics /
by:
(Language materials, printed)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
(Language materials, printed)
Deceptive AI = First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings /
by:
(Language materials, printed)
AI Approaches to the Complexity of Legal Systems XI-XII = AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings /
by:
(Language materials, printed)
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
by:
(Language materials, printed)
Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(Language materials, printed)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Belief Functions: Theory and Applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings /
by:
(Language materials, printed)
Formeln und Begriffe der Analysis = Für Studierende der Ingenieurwissenschaften /
by:
(Language materials, printed)
Awareness in Logic and Epistemology = A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts /
by:
(Language materials, printed)
Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic /
by:
(Language materials, printed)
The Semantic Web = 18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings /
by:
(Language materials, printed)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(Language materials, printed)
The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Discrete Mathematics and Graph Theory = A Concise Study Companion and Guide /
by:
(Language materials, printed)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
(Language materials, printed)
Graph Structures for Knowledge Representation and Reasoning = 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Based Representation and Reasoning = 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Mathematische Geschichten III – Eulerscher Polyedersatz, Schubfachprinzip und Beweise = Für begabte Schülerinnen und Schüler in der Unterstufe /
by:
(Language materials, printed)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
Diskrete Mathematik mit Grundlagen = Lehrbuch für Studierende von MINT-Fächern /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
by:
(Language materials, printed)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(Language materials, printed)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings /
by:
(Language materials, printed)
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 18th International Conference, MDAI 2021, Umeå, Sweden, September 27–30, 2021, Proceedings /
by:
(Language materials, printed)
Flexible Query Answering Systems = 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19–24, 2021, Proceedings /
by:
(Language materials, printed)
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
by:
(Language materials, printed)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(Language materials, printed)
Provenance and Annotation of Data and Processes = 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
(Language materials, printed)
Formal Methods – Fun for Everybody = First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Explainable and Transparent AI and Multi-Agent Systems = Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3–7, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Mathematische Geschichten IV – Euklidischer Algorithmus, Modulo-Rechnung und Beweise = Für begabte Schülerinnen und Schüler in der Unterstufe /
by:
(Language materials, printed)
Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung = Struktur - Funktion - Zahl /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(Language materials, printed)
Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings /
by:
(Language materials, printed)
Ludwig Wittgenstein: Dictating Philosophy = To Francis Skinner – The Wittgenstein-Skinner Manuscripts /
by:
(Language materials, printed)
Gödel's Theorems and Zermelo's Axioms = A Firm Foundation of Mathematics /
by:
(Language materials, printed)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(Language materials, printed)
Case-Based Reasoning Research and Development = 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /
by:
(Language materials, printed)
Applications of Mathematics and Informatics in Natural Sciences and Engineering = AMINSE 2019, Tbilisi, Georgia, September 23-26 /
by:
(Language materials, printed)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts /
by:
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Coalgebraic Methods in Computer Science = 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Complex Event Processing = Verarbeitung von Ereignismustern in Datenströmen /
by:
(Language materials, printed)
Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings /
by:
(Language materials, printed)
Chinese Lexical Semantics = 20th Workshop, CLSW 2019, Beijing, China, June 28–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings /
by:
(Language materials, printed)
Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory = With Applications to Gravity and Particle Theory /
by:
(Language materials, printed)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(Language materials, printed)
Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /
by:
(Language materials, printed)
Modelling Nature: An Opinionated Introduction to Scientific Representation
by:
(Language materials, printed)
Solving Problems in Mathematical Analysis, Part I = Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings /
by:
(Language materials, printed)
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Sichtweisen von Sechstklässlern auf multiplikative Strukturen im Sinne eines Bausteinkonzepts = Eine qualitativ-empirische Studie /
by:
(Language materials, printed)
Text, Speech, and Dialogue = 23rd International Conference, TSD 2020, Brno, Czech Republic, September 8–11, 2020, Proceedings /
by:
(Language materials, printed)
The Semantic Web – ISWC 2020 = 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Nonclassical Logics and Their Applications = Post-proceedings of the 8th International Workshop on Logic and Cognition /
by:
(Language materials, printed)
Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory /
by:
(Language materials, printed)
Inductive Logic Programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings /
by:
(Language materials, printed)
The Semantic Web = 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
by:
(Language materials, printed)
The Panenmentalist Philosophy of Science = From the Recognition of Individual Pure Possibilities to Actual Discoveries /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings /
by:
(Language materials, printed)
The Amazing Journey of Reason = from DNA to Artificial Intelligence /
by:
(Language materials, printed)
Selected Topics in Probabilistic Safety Assessment = Methodology and Practice in Nuclear Power Plants /
by:
(Language materials, printed)
Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Iceberg Semantics for Mass Nouns and Count Nouns = A New Framework for Boolean Semantics /
by:
(Language materials, printed)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
(Language materials, printed)
Can Mathematics Be Proved Consistent? = Gödel's Shorthand Notes & Lectures on Incompleteness /
by:
(Language materials, printed)
Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings /
by:
(Language materials, printed)
Foundations of Finitely Supported Structures = A Set Theoretical Viewpoint /
by:
(Language materials, printed)
WITTGENSTEINIAN (adj.) = Looking at the World from the Viewpoint of Wittgenstein's Philosophy /
by:
(Language materials, printed)
Ontologies and Concepts in Mind and Machine = 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020, Proceedings /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
(Language materials, printed)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(Language materials, printed)
Quantum, Probability, Logic = The Work and Influence of Itamar Pitowsky /
by:
(Language materials, printed)
Semantic Technology = 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25–27, 2019, Proceedings /
by:
(Language materials, printed)
The Semantic Web: ESWC 2020 Satellite Events = ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings /
by:
(Language materials, printed)
Facets of Uncertainties and Applications = ICFUA, Kolkata, India, December 2013 /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
(Language materials, printed)
Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
by:
(Language materials, printed)
Information Technology in Bio- and Medical Informatics = 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings /
by:
(Language materials, printed)
From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice /
by:
(Language materials, printed)
Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
by:
(Language materials, printed)
Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(Language materials, printed)
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
(Language materials, printed)
Computer Science -- Theory and Applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(Language materials, printed)
Reasoning Web. Web Logic Rules = 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /
by:
(Language materials, printed)
Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
by:
(Language materials, printed)
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(Language materials, printed)
From Logic to Practice = Italian Studies in the Philosophy of Mathematics /
by:
(Language materials, printed)
AI*IA 2015 Advances in Artificial Intelligence = XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
by:
(Language materials, printed)
The Road to Universal Logic = Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
by:
(Language materials, printed)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
(Language materials, printed)
Graph Structures for Knowledge Representation and Reasoning = 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(Language materials, printed)
Logic, Language, and Computation = 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /
by:
(Language materials, printed)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Linking Game-Theoretical Approaches with Constructive Type Theory = Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
by:
(Language materials, printed)
Formal Methods for Multicore Programming = 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
(Language materials, printed)
KI 2015: Advances in Artificial Intelligence = 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings /
by:
(Language materials, printed)
Freedom and Enforcement in Action = A Study in Formal Action Theory /
by:
(Language materials, printed)
Linguistic Expressions and Semantic Processing = A Practical Approach /
by:
(Language materials, printed)
The Design of Requirements Modelling Languages = How to Make Formalisms for Problem Solving in Requirements Engineering /
by:
(Language materials, printed)
Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
by:
(Language materials, printed)
Ideals, Varieties, and Algorithms = An Introduction to Computational Algebraic Geometry and Commutative Algebra /
by:
(Language materials, printed)
Turing’s Revolution = The Impact of His Ideas about Computability /
by:
(Language materials, printed)
Logic, Mathematics, and Computer Science = Modern Foundations with Practical Applications /
by:
(Language materials, printed)
New Directions in Paraconsistent Logic = 5th WCP, Kolkata, India, February 2014 /
by:
(Language materials, printed)
Special Topics in Mathematics for Computer Scientists = Sets, Categories, Topologies and Measures /
by:
(Language materials, printed)
Quantum Physics, Fuzzy Sets and Logic = Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
by:
(Language materials, printed)
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
by:
(Language materials, printed)
The Road to Universal Logic = Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
by:
(Language materials, printed)
Towards an Arithmetical Logic = The Arithmetical Foundations of Logic /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(Language materials, printed)
Frontiers of Combining Systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
(Language materials, printed)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
by:
(Language materials, printed)
Reachability Problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(Language materials, printed)
New Frontiers in Artificial Intelligence = JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers /
by:
(Language materials, printed)
FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
by:
(Language materials, printed)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
AI 2015: Advances in Artificial Intelligence = 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
by:
(Language materials, printed)
Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Chinese Lexical Semantics = 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Text Analysis Pipelines = Towards Ad-hoc Large-Scale Text Mining /
by:
(Language materials, printed)
Inductive Logic Programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(Language materials, printed)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings /
by:
(Language materials, printed)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(Language materials, printed)
Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(Language materials, printed)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(Language materials, printed)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Biomedical Knowledge Representation = Methods and Applications /
by:
(Language materials, printed)
Zur Robustheit von Konfidenzbereichen und Tests für Erwartungswerte
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(Language materials, printed)
Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
by:
(Language materials, printed)
Der Untergang von Mathemagika = Ein Roman über eine Welt jenseits unserer Vorstellung /
by:
(Language materials, printed)
The Unknown as an Engine for Science = An Essay on the Definite and the Indefinite /
by:
(Language materials, printed)
Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
(Language materials, printed)
Ordered Sets = An Introduction with Connections from Combinatorics to Topology /
by:
(Language materials, printed)
Semantic Technology = 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(Language materials, printed)
A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
by:
(Language materials, printed)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
by:
(Language materials, printed)
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(Language materials, printed)
Information Technology in Bio- and Medical Informatics = 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings /
by:
(Language materials, printed)
Trustworthy Global Computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers /
by:
(Language materials, printed)
Semantic Technology = 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
by:
(Language materials, printed)
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II /
by:
(Language materials, printed)
The Congruences of a Finite Lattice = A "Proof-by-Picture" Approach /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
by:
(Language materials, printed)
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
by:
(Language materials, printed)
Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Information and Knowledge Systems = 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Computational Processing of the Portuguese Language = 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /
by:
(Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(Language materials, printed)
Software Technologies: Applications and Foundations = STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Information and Communication Technologies in Education, Research, and Industrial Applications = 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
(Language materials, printed)
Cultures of Mathematics and Logic = Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(Language materials, printed)
KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings /
by:
(Language materials, printed)
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
by:
(Language materials, printed)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
by:
(Language materials, printed)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(Language materials, printed)
Web Reasoning and Rule Systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /
by:
(Language materials, printed)
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Natural Language Processing and Information Systems = 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Graph Transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
by:
(Language materials, printed)
Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(Language materials, printed)
Inductive Logic Programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(Language materials, printed)
Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
by:
(Language materials, printed)
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
(Language materials, printed)
Multi-Agent Systems and Agreement Technologies = 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
by:
(Language materials, printed)
Probability Logics = Probability-Based Formalization of Uncertain Reasoning /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /
by:
(Language materials, printed)
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) = 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
by:
(Language materials, printed)
Rule Technologies. Research, Tools, and Applications = 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
by:
(Language materials, printed)
Mathematics and the Mind = An Introduction into Ibn Sīnā’s Theory of Knowledge /
by:
(Language materials, printed)
Structural Analysis of Non-Classical Logics = The Proceedings of the Second Taiwan Philosophical Logic Colloquium /
by:
(Language materials, printed)
Trick or Truth? = The Mysterious Connection Between Physics and Mathematics /
by:
(Language materials, printed)
Perspectives on Interrogative Models of Inquiry = Developments in Inquiry and Questions /
by:
(Language materials, printed)
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
by:
(Language materials, printed)
Objectivity, Realism, and Proof = FilMat Studies in the Philosophy of Mathematics /
by:
(Language materials, printed)
Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL /
by:
(Language materials, printed)
Fuzziness in Information Systems = How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization /
by:
(Language materials, printed)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
by:
(Language materials, printed)
Deductive Software Verification – The KeY Book = From Theory to Practice /
by:
(Language materials, printed)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Chinese Lexical Semantics = 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(Language materials, printed)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
(Language materials, printed)
Coalgebraic Methods in Computer Science = 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII = Selected Papers from FDSE 2014 /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(Language materials, printed)
Statistical Language and Speech Processing = 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification, and Validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
by:
(Language materials, printed)
Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
by:
(Language materials, printed)
Verified Software: Theories, Tools, and Experiments = 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
by:
(Language materials, printed)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Perspectives of System Informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
by:
(Language materials, printed)
AI*IA 2016 Advances in Artificial Intelligence = XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings /
by:
(Language materials, printed)
Scalable Uncertainty Management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
by:
(Language materials, printed)
The Semantic Web – ISWC 2018 = 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I /
by:
(Language materials, printed)
The Semantic Web = 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings /
by:
(Language materials, printed)
Computational Processing of the Portuguese Language = 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings /
by:
(Language materials, printed)
Digital Libraries for Open Knowledge = 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings /
by:
(Language materials, printed)
Case-Based Reasoning Research and Development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Computational Intelligence = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II /
by:
(Language materials, printed)
Implementation and Application of Automata = 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings /
by:
(Language materials, printed)
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability = 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures /
by:
(Language materials, printed)
Coalgebraic Methods in Computer Science = 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Ludwig Wittgenstein’s Philosophical Investigations = An Attempt at a Critical Rationalist Appraisal /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings /
by:
(Language materials, printed)
Multi-Agent Systems and Agreement Technologies = 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
by:
(Language materials, printed)
Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Übungsbuch Automaten und formale Sprachen = 117 Aufgaben und Lösungen /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
(Language materials, printed)
Intuitionistic Proof Versus Classical Truth = The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
by:
(Language materials, printed)
Formal Methods for Nonmonotonic and Related Logics = Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
by:
(Language materials, printed)
Formal Methods for Nonmonotonic and Related Logics = Vol I: Preference and Size /
by:
(Language materials, printed)
Contextualism, Factivity and Closure = A Union That Should Not Take Place? /
by:
(Language materials, printed)
Logica = Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Rewriting Logic and Its Applications = 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /
by:
(Language materials, printed)
The Map and the Territory = Exploring the Foundations of Science, Thought and Reality /
by:
(Language materials, printed)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
(Language materials, printed)
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
by:
(Language materials, printed)
Engineering Multi-Agent Systems = 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
The Semantic Web – ISWC 2018 = 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Exploring Meinong’s Jungle and Beyond = The Sylvan Jungle - Volume 1 /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
(Language materials, printed)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Current Trends in Web Engineering = ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Quantum Computation and Logic = How Quantum Computers Have Inspired Logical Investigations /
by:
(Language materials, printed)
Theoretical Computer Science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Agents and Artificial Intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Truth, Existence and Explanation = FilMat 2016 Studies in the Philosophy of Mathematics /
by:
(Language materials, printed)
Rough Sets = International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Soft Computing = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I /
by:
(Language materials, printed)
AI*IA 2018 – Advances in Artificial Intelligence = XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings /
by:
(Language materials, printed)
Denken in Strukturen und seine Geschichte = Von der Kraft des mathematischen Beweises /
by:
(Language materials, printed)
Formal Grammar 2018 = 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
(Language materials, printed)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
(Language materials, printed)
Scalable Uncertainty Management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
by:
(Language materials, printed)
Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
by:
(Language materials, printed)
The Philosophers and Mathematics = Festschrift for Roshdi Rashed /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(Language materials, printed)
Semantic Technology = 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(Language materials, printed)
Database and Expert Systems Applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Big Data Analytics = 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings /
by:
(Language materials, printed)
Lifelong Technology-Enhanced Learning = 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
(Language materials, printed)
Conceptual Modeling = 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings /
by:
(Language materials, printed)
On the Move to Meaningful Internet Systems. OTM 2018 Conferences = Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III /
by:
(Language materials, printed)
The Semantic Web: ESWC 2018 Satellite Events = ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Immanent Reasoning or Equality in Action = A Plaidoyer for the Play Level /
by:
(Language materials, printed)
Zur Philosophie der Mathematik = Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze /
by:
(Language materials, printed)
AI Approaches to the Complexity of Legal Systems = AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /
by:
(Language materials, printed)
Formal Grammar = 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Product Lifecycle Management to Support Industry 4.0 = 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Understanding and Interpreting Machine Learning in Medical Image Computing Applications = First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings /
by:
(Language materials, printed)
Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik /
by:
(Language materials, printed)
Graph Structures for Knowledge Representation and Reasoning = 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Chinese Lexical Semantics = 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Information and Knowledge Systems = 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings /
by:
(Language materials, printed)
Web and Wireless Geographical Information Systems = 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings /
by:
(Language materials, printed)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /
by:
(Language materials, printed)
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
by:
(Language materials, printed)
Wandering Towards a Goal = How Can Mindless Mathematical Laws Give Rise to Aims and Intention? /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings /
by:
(Language materials, printed)
Human Language Technology. Challenges for Computer Science and Linguistics = 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Structures and Algorithms = Mathematics and the Nature of Knowledge /
by:
(Language materials, printed)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Semigroups in Complete Lattices = Quantales, Modules and Related Topics /
by:
(Language materials, printed)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
An Introduction to the Technique of Formative Processes in Set Theory
by:
(Language materials, printed)
Inductive Logic Programming = 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
by:
(Language materials, printed)
New Frontiers in Artificial Intelligence = JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Gottlob Frege = Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens /
by:
(Language materials, printed)
Dynamic Logic. New Trends and Applications = First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
by:
(Language materials, printed)
Data Management Technologies and Applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Artificial Adaptive Systems Using Auto Contractive Maps = Theory, Applications and Extensions /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Philosophy's Loss of Logic to Mathematics = An Inadequately Understood Take-Over /
by:
(Language materials, printed)
Computational Artifacts = Towards a Philosophy of Computer Science /
by:
(Language materials, printed)
Data Analytics and Management in Data Intensive Domains = XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10–13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Advanced Information Systems Engineering = 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings /
by:
(Language materials, printed)
The Semantic Web = 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings /
by:
(Language materials, printed)
The Semantic Web: ESWC 2019 Satellite Events = ESWC 2019 Satellite Events, Portorož, Slovenia, June 2–6, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Graded Consequence = A General Framework for Logics of Uncertainty /
by:
(Language materials, printed)
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
by:
(Language materials, printed)
Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(Language materials, printed)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(Language materials, printed)
Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering = AMINSE 2017, Tbilisi, Georgia, December 6-9 /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
(Language materials, printed)
AI*IA 2019 – Advances in Artificial Intelligence = XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2019 = 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Knowledge Management in Organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings /
by:
(Language materials, printed)
Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Formal Concept Analysis = 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings /
by:
(Language materials, printed)
Formal Grammar = 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
by:
(Language materials, printed)
Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
On the Move to Meaningful Internet Systems: OTM 2019 Conferences = Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings /
by:
(Language materials, printed)
The Semantic Web – ISWC 2019 = 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Soft Computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Logic Functions and Equations = Binary Models for Computer Science /
by:
(Language materials, printed)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Parameterized Complexity in the Polynomial Hierarchy = Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy /
by:
(Language materials, printed)
Temporal Type Theory = A Topos-Theoretic Approach to Systems and Behavior /
by:
(Language materials, printed)
Text, Speech, and Dialogue = 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(Language materials, printed)
Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(Language materials, printed)
KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
(Language materials, printed)
Graph-Based Representation and Reasoning = 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(Language materials, printed)
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Conceptual Modeling = ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
by:
(Language materials, printed)
Leibniz and the Structure of Sciences = Modern Perspectives on the History of Logic, Mathematics, Epistemology /
by:
(Language materials, printed)
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support = Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings /
by:
(Language materials, printed)
Flexible Query Answering Systems = 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings /
by:
(Language materials, printed)
Incompleteness for Higher-Order Arithmetic = An Example Based on Harrington’s Principle /
by:
(Language materials, printed)
Bioinformatics and Biomedical Engineering = 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Bioinformatics Research and Applications = 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings /
by:
(Language materials, printed)
Data Integration in the Life Sciences = 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
(Language materials, printed)
Pattern Recognition = 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10–13, 2019, Proceedings /
by:
(Language materials, printed)
Reasoning Web. Explainable Artificial Intelligence = 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Aspekte des Unendlichen = Eine kleine Erzählung für Nichtmathematiker /
by:
(Language materials, printed)
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(Language materials, printed)
Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Natural Language Processing and Chinese Computing = 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Bioinformatics and Biomedical Engineering = 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Practical MATLAB = With Modeling, Simulation, and Processing Projects /
by:
(Language materials, printed)
Data Analytics and Management in Data Intensive Domains = 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Theoretical Computer Science = 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Methodology for Emerging Domains = 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Language, Logic, and Computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Natural Language Processing and Chinese Computing = 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence = 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings /
by:
(Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(Language materials, printed)
Constructive Semantics = Meaning in Between Phenomenology and Constructivism /
by:
(Language materials, printed)
Developments in Language Theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings /
by:
(Language materials, printed)
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding = Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
(Language materials, printed)
Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL /
by:
(Language materials, printed)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
Metadata and Semantic Research = 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers /
by:
(Language materials, printed)
The Semantic Web – ISWC 2019 = 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
VLSI Design and Test = 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers /
by:
(Language materials, printed)
At the Intersection of Language, Logic, and Information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers /
by:
(Language materials, printed)
Knowledge Discovery, Knowledge Engineering and Knowledge Management = 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers /
by:
(Language materials, printed)
New Trends in Databases and Information Systems = ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Applications and Innovations = 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Fuzzy Logic and Applications = 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Metadata and Semantic Research = 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects