Sign in | English | Terms of Use
DictionaryForumContacts
Google | Forvo | +
to phrases

proof assistant

stresses
AI. доказыватель теорем (Alex_Odeychuk); система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
proof assistant
: 2 phrases in 1 subject
Artificial intelligence2

Add | Report an error | Get short URL