Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ +
Google | Forvo | +

Logic Theorist

шт.інтел. LT m (Logik-Theoretiker, ein heuristisches Programm zum Theorembeweisen im Aussagenkalkül)

Додати | Повідомити про помилку | Коротке посилання