from March 2016 by subject

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