computational theorems - Turkish English Dictionary