












Computational Processing of the Portuguese Language
854,-

Relational and Algebraic Methods in Computer Science
611,-

Human Language Technology. Challenges for Computer Science and Linguistics
584,-

Logic, Language, Information, and Computation
737,-

Logic, Language, and Computation
584,-

Automated Reasoning with Analytic Tableaux and Related Methods
674,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data
584,-

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

Mathematical Aspects of Computer and Information Sciences
584,-

Computational Processing of the Portuguese Language
854,-

Relational and Algebraic Methods in Computer Science
611,-

Human Language Technology. Challenges for Computer Science and Linguistics
584,-

Logic, Language, Information, and Computation
737,-

Logic, Language, and Computation
584,-

Automated Reasoning with Analytic Tableaux and Related Methods
674,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data
584,-

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

Mathematical Aspects of Computer and Information Sciences
584,-