 |
Terms for subject Artificial intelligence containing Proof Checker | all forms | in specified order only
| English | Russian |
| interactive proof checker | интерактивная система автоматического доказательства теорем (корпорации AdaCore Alex_Odeychuk) |
|
| English | Russian |
| interactive proof checker | интерактивная система автоматического доказательства теорем (корпорации AdaCore Alex_Odeychuk) |