CFP - 5th Workshop on Practical Aspects of Automated Reasoning
CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics
Query Analysis, Planning and Optimization utilizing Database Schema Metadata and Ontology [via Argumentation Community Group]
Will your Community Group meet during TPAC 2016?
Last message date: Tuesday, 15 March 2016 14:57:34 UTC