

Logic, Language, and Computation
584,-

Automated Reasoning and Mathematics
476,-

Logic, Language, Information, and Computation
476,-

Relational and Algebraic Methods in Computer Science
611,-

Interactive Theorem Proving
584,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Computational and Corpus-Based Phraseology
737,-

Logical Foundations of Computer Science
584,-

Logic and Engineering of Natural Language Semantics
674,-

Graph Theory, Computational Intelligence and Thought
584,-

Logic, Language, and Computation
584,-

Automated Reasoning and Mathematics
476,-

Logic, Language, Information, and Computation
476,-

Relational and Algebraic Methods in Computer Science
611,-

Interactive Theorem Proving
584,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Computational and Corpus-Based Phraseology
737,-

Logical Foundations of Computer Science
584,-

Logic and Engineering of Natural Language Semantics
674,-

Graph Theory, Computational Intelligence and Thought
584,-













