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