Automated Reasoning

1. Otomatikleştirilmiş akıl yürütme

2. otomatikleştirilmiş usavurma