 |
Terms for subject Artificial intelligence containing automated verification | all forms | exact matches only | in specified order only
| English | Russian |
| automated verification and proof description language | язык описания логических систем для автоматического поиска доказательств (Alex_Odeychuk) |