Theory Reasoning in Connection Calculi

Phraseological Dictionary English - German: General Vocabulary in Technical and Scientific Texts

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Improving text classification with Boolean retrieval for rare categories: A case study identifying firearm violence conversations in the Crisis Text Line database