1,685 followers
Tableaux Modulo Theories Using Superdeduction. (arXiv:1501.01301v1 [cs.LO]) http://t.co/bai8d93Ugq
Tableaux Modulo Theories Using Superdeduction. (arXiv:1501.01301v1 [cs.LO]) http://t.co/bai8d93Ugq
Automated Reasoning (6th International Joint Conference, IJCAR 2012) Proceedings http://t.co/YthRJ85O #eBook #AR
Automated Reasoning (6th International Joint Conference, IJCAR 2012) Proceedings http://t.co/YthRJ85O #eBook #AR