automatic theorem proving

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


Русская Википедия - свободная энциклопедияСкачать словарь
Автоматическое доказательство теорем
Автоматическое доказательство теорем — доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и  логике предикатов.
Продолжение на Wikipedia.οrg...

© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU

Определить automatic theorem proving

Перевести automatic theorem proving





| automatic theorem proving на Английский | automatic theorem proving на Французский | automatic theorem proving на Немецкий