Mathematical logic.

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)

One Hundred Prisoners and a Light Bulb by: (Language materials, printed)

Nonstandard Analysis for the Working Mathematician by: (Language materials, printed)

Gentzen's Centenary = The Quest for Consistency / 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)

Petr Hájek on Mathematical Fuzzy Logic 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)

Recent Developments in the Philosophy of Science: EPSA13 Helsinki 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)

Computational Complexity of Solving Equation Systems 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)

Petri Net Synthesis 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)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer 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)

Models of Strategic Reasoning = Logics, Games, and Communities / 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)

Transactions on Rough Sets XIX 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)

Ernst Zermelo = An Approach to His Life and Work / by: (Language materials, printed)

Zur Robustheit von Konfidenzbereichen und Tests für Erwartungswerte by: (Language materials, printed)

Problems and Proofs in Numbers and Algebra 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)

Philosophy of Science for Scientists by: (Language materials, printed)

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory by: (Language materials, printed)

J. Michael Dunn on Information Based Logics 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)

Towards Paraconsistent Engineering 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)

Dependence Logic = Theory and Applications / 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)

Advances in Proof Theory 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)

Number Theory = An Introduction via the Density of Primes / 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)

A New Perspective on Nonmonotonic Logics by: (Language materials, printed)

Models and Inferences in Science 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)

Modern Logic 1850-1950, East and West by: (Language materials, printed)

Turing Computability = Theory and Applications / by: (Language materials, printed)

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: (Language materials, printed)

Advances in Proof-Theoretic Semantics 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)

Readings in Formal Epistemology = Sourcebook / by: (Language materials, printed)

Finitely Supported Mathematics = An Introduction / by: (Language materials, printed)

Directed Algebraic Topology and Concurrency by: (Language materials, printed)

Subjective Logic = A Formalism for Reasoning Under Uncertainty / by: (Language materials, printed)

Transactions on Rough Sets XX 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)

Type Systems for Distributed Programs: Components and Sessions by: (Language materials, printed)

12 × 12 Schlüsselkonzepte zur Mathematik 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)

Writing Proofs in Analysis 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)

Nonsymmetric Operads in Combinatorics 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)

Algebraic Methods in General Rough Sets 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)

Great Circle of Mysteries = Mathematics, the World, the Mind / 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)

Contradictions, from Consistency to Inconsistency 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)

Theoretische Informatik = Eine umfassende Einführung / 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)

Logics for Computer Science = Classical and Non-Classical / 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)

Scientific Philosophy 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)

Introduction to Formal Philosophy by: (Language materials, printed)

Truth-Seeking by Abduction 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)

Logical Foundations of Cyber-Physical Systems 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)

Ewa Orłowska on Relational Methods in Logic and Computer Science by: (Language materials, printed)

Fuzzy Lie Algebras 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)

Hilary Putnam on Logic and Mathematics 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)

Philosophical and Mathematical Logic 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)

Mathematical Logic = On Numbers, Sets, Structures, and Symmetry / 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)

Methods of Solving Number Theory Problems 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)

Mathematik für Software Engineering by: (Language materials, printed)

New Essays on Frege = Between Science and Literature / 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)

Building Theories = Heuristics and Hypotheses in Sciences / 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)

Relational Topology 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)

A History of Folding in Mathematics = Mathematizing the Margins / by: (Language materials, printed)

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science by: (Language materials, printed)

Handbook of Model Checking 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)

The Lvov-Warsaw School. Past and Present 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)

Modelling and Verification of Secure Exams 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)

Logical Form = Between Logic and Natural Language / 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)

Introduction to Octave = For Engineers and Scientists / by: (Language materials, printed)

An Introduction to the Technique of Formative Processes in Set Theory by: (Language materials, printed)

The Hyperuniverse Project and Maximality 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)

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics by: (Language materials, printed)

Larisa Maksimova on Implication, Interpolation, and Definability 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)

Modeling Companion for Software Practitioners 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)

Proof Theory and Algebra in Logic 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)

Mathesis Universalis, Computability and Proof 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)

Conceptual Spaces: Elaborations and Applications by: (Language materials, printed)

Formal Grammar = 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / by: (Language materials, printed)

Heyting Algebras = Duality Theory / by: (Language materials, printed)

A Model–Theoretic Approach to Proof Theory 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)

Combinatorial Set Theory of C*-algebras 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)

Beginning MATLAB and Simulink = From Novice to Professional / 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)

Graham Priest on Dialetheism and Paraconsistency 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)

Formal Languages and Compilation 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)

What is Fundamental? by: (Language materials, printed)

Laws and Explanations; Theories and Modal Possibilities by: (Language materials, printed)

New Essays on Belnap-­Dunn Logic 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)

Handbook of Software Engineering 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)

Semantics and Truth 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)

Numerical Methods of Mathematics Implemented in Fortran 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)

The Everyday Life of an Algorithm 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)

Introduction to Discrete Mathematics via Logic and Proof 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)

Learn Java with Math = Using Fun Projects and Games / 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)

Mathematische Modelle des Kontinuums 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)

Ultralogic as Universal? = The Sylvan Jungle - Volume 4 / 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)

Noneist Explorations I = The Sylvan Jungle - Volume 2 / 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)

Information Search, Integration, and Personalization = 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers / by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings / by: (Language materials, printed)

Iceberg Semantics for Mass Nouns and Count Nouns = A New Framework for Boolean Semantics / 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)

Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / by: (Language materials, printed)

An Invitation to Abstract Mathematics by: (Language materials, printed)

Decidability of Logical Theories and Their Combination by: (Language materials, printed)

Selected Topics in Probabilistic Safety Assessment = Methodology and Practice in Nuclear Power Plants / by: (Language materials, printed)

The Amazing Journey of Reason = from DNA to Artificial Intelligence / 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)

Berechenbarkeit = Berechnungsmodelle und Unentscheidbarkeit / by: (Language materials, printed)

The Panenmentalist Philosophy of Science = From the Recognition of Individual Pure Possibilities to Actual Discoveries / 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)

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)

L. E. J. Brouwer: Intuitionismus 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)

Nonclassical Logics and Their Applications = Post-proceedings of the 8th International Workshop on Logic and Cognition / 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)

Sichtweisen von Sechstklässlern auf multiplikative Strukturen im Sinne eines Bausteinkonzepts = Eine qualitativ-empirische Studie / by: (Language materials, printed)

Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by: (Language materials, printed)

The Legacy of Kurt Schütte by: (Language materials, printed)

Diagonalization in Formal Mathematics by: (Language materials, printed)

Ordinal Analysis with an Introduction to Proof Theory by: (Language materials, printed)

Geometry by: (Language materials, printed)

Diagrammatic Representation and Inference = 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings / by: (Language materials, printed)

Philosophie der Mathematik in der Antike und in der Neuzeit by: (Language materials, printed)

Solving Problems in Mathematical Analysis, Part I = Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series / 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)

Descriptional Complexity of Formal Systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / by: (Language materials, printed)

Modelling Nature: An Opinionated Introduction to Scientific Representation by: (Language materials, printed)

Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic / 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)

Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, 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)

Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by: (Language materials, printed)

Complex Event Processing = Verarbeitung von Ereignismustern in Datenströmen / 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)

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 I / by: (Language materials, printed)

Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts / by: (Language materials, printed)

Probabilistic Extensions of Various Logical Systems 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)

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)

Noneist Explorations II = The Sylvan Jungle - Volume 3 / by: (Language materials, printed)

The Foundations of Computability Theory by: (Language materials, printed)

Semantic Technology = 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25–27, 2019, Proceedings / by: (Language materials, printed)

Quantum, Probability, Logic = The Work and Influence of Itamar Pitowsky / by: (Language materials, printed)

Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations / by: (Language materials, printed)

Foundations of Finitely Supported Structures = A Set Theoretical Viewpoint / 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)

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)

Profinite Semigroups and Symbolic Dynamics by: (Language materials, printed)

WITTGENSTEINIAN (adj.) = Looking at the World from the Viewpoint of Wittgenstein's Philosophy / by: (Language materials, printed)

Sets, Logic and Maths for Computing by: (Language materials, printed)

Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by: (Language materials, printed)

Can Mathematics Be Proved Consistent? = Gödel's Shorthand Notes & Lectures on Incompleteness / by: (Language materials, printed)

Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 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)

Handbook of the History and Philosophy of Mathematical Practice 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)

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)

Applications of Mathematics and Informatics in Natural Sciences and Engineering = AMINSE 2019, Tbilisi, Georgia, September 23-26 / 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)

Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by: (Language materials, printed)

Gödel's Theorems and Zermelo's Axioms = A Firm Foundation of Mathematics / by: (Language materials, printed)

Ludwig Wittgenstein: Dictating Philosophy = To Francis Skinner – The Wittgenstein-Skinner Manuscripts / 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)

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)

Paul Lorenzen -- Mathematician and Logician by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung = Struktur - Funktion - Zahl / 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)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / 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)

Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung / by: (Language materials, printed)

Undecidability, Uncomputability, and Unpredictability 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)

Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 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)

Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings / by: (Language materials, printed)

Einführung in die Mengenlehre by: (Language materials, printed)

Pythagorean Fuzzy Sets = Theory and Applications / by: (Language materials, printed)

Quaternions for Computer Graphics 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)

Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 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)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics by: (Language materials, printed)

Flexible Query Answering Systems = 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19–24, 2021, Proceedings / 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)

Problem Solving In Operation Management 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)

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)

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / by: (Language materials, printed)

The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics 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)

Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by: (Language materials, printed)

Diskrete Mathematik mit Grundlagen = Lehrbuch für Studierende von MINT-Fächern / by: (Language materials, printed)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 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)

Graph-Based Representation and Reasoning = 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 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)

Biological Models via Interval Type-2 Fuzzy Sets by: (Language materials, printed)

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: (Language materials, printed)

Discrete Mathematics and Graph Theory = A Concise Study Companion and Guide / by: (Language materials, printed)

Top-Down Causation and Emergence by: (Language materials, printed)

The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, 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)

Fuzzy Logic = Recent Applications and Developments / 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)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics by: (Language materials, printed)

Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / by: (Language materials, printed)

Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir / by: (Language materials, printed)

Lessons in Enumerative Combinatorics by: (Language materials, printed)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (Language materials, printed)

Theoremus = A Student's Guide to Mathematical Proofs / by: (Language materials, printed)

Real Analysis: Foundations by: (Language materials, printed)

Mathematical Logic by: (Language materials, printed)

The Semantic Web = 18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings / 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)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / 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)

Handbook of Computability and Complexity in Analysis 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)

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)

Awareness in Logic and Epistemology = A Conceptual Schema and Logical Study of The Underlying Main Epistemic Concepts / by: (Language materials, printed)

Formeln und Begriffe der Analysis = Für Studierende der Ingenieurwissenschaften / 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)

Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 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)

Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by: (Language materials, printed)

Modelling Puzzles in First Order Logic by: (Language materials, printed)

Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts by: (Language materials, printed)

R-CALCULUS: A Logic of Belief Revision by: (Language materials, printed)

Founding Mathematics on Semantic Conventions by: (Language materials, printed)

Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 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)

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)

Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification / by: (Language materials, printed)

Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics / 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)

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)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Formal Methods Teaching = 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / 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)

Essential Mathematics for Undergraduates = A Guided Approach to Algebra, Geometry, Topology and Analysis / by: (Language materials, printed)

The Exoteric Square of Opposition = The Sixth World Congress on the Square of Opposition / by: (Language materials, printed)

A.P. Morse’s Set Theory and Analysis 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)

Kurt Gödel = The Genius of Metamathematics / by: (Language materials, printed)

Axiomatic Thinking II by: (Language materials, printed)

Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by: (Language materials, printed)

A Protocol-theoretic Framework for the Logic of Epistemic Norms by: (Language materials, printed)

Essays in Constructive Mathematics by: (Language materials, printed)

Axiomatic Thinking I by: (Language materials, printed)

Universal Algebraic Logic = Dedicated to the Unity of Science / by: (Language materials, printed)

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics by: (Language materials, printed)

R-Calculus, III: Post Three-Valued Logic by: (Language materials, printed)

Effective Kan Fibrations in Simplicial Sets by: (Language materials, printed)

Logic - Language - Ontology = Selected Works / by: (Language materials, printed)

Cherlin’s Conjecture for Finite Primitive Binary Permutation Groups by: (Language materials, printed)

Wittgenstein-Handbuch = Leben – Werk – Wirkung / by: (Language materials, printed)

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs by: (Language materials, printed)

The Logical Writings of Karl Popper by: (Language materials, printed)

Runtime Verification = A Hands-On Approach in Java / by: (Language materials, printed)

Vom Universum des Denkens = Eine Geistesgeschichte der Logik / by: (Language materials, printed)

Reverse Mathematics = Problems, Reductions, and Proofs / by: (Language materials, printed)

Ernst Schröder on Algebra and Logic 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)

Objects, Structures, and Logics = FilMat Studies in the Philosophy of Mathematics / by: (Language materials, printed)

Mathematical Logic = Exercises and Solutions / by: (Language materials, printed)

Artificial Intelligence Versus Natural Intelligence 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)

Hiroakira Ono on Substructural Logics 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)

R-Calculus, II: Many-Valued Logics 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)

Ein strukturorientierter Aufbau der klassischen Zahlenbereiche = mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen / by: (Language materials, printed)

On Hilbert's Sixth Problem 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)

Wittgenstein's On Certainty: Insight and Method by: (Language materials, printed)

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics by: (Language materials, printed)

Logic Without Gaps or Gluts = How to Solve the Paradoxes Without Sacrificing Classical Logic / by: (Language materials, printed)