Back
رده:اثبات قضیه خودکار
Persian
Category:自動定理証明
Japanese
Kategoria:Automatyczne dowodzenie twierdzeń
Polish
Категория:Автоматическое доказательство теорем
Russian
Kategori:Otomatik teorem kanıtlama
Turkish
Категорія:Автоматичне доведення
Ukrainian
Category:Automated theorem proving
The main article for this
category
is
Automated theorem proving
.
From
Wikipedia
, the free encyclopedia · View on
Wikipedia
Developed by
Tubidy