Subject | English | Russian |
AI. | ATP system | система автоматического доказательства теорем (сокр. от "automated theorem proving system" Alex_Odeychuk) |
AI. | ATP system competition | конкурс систем автоматического доказательства теорем (ATP – сокр. от "automated theorem proving" Alex_Odeychuk) |
med. | raffinose ATP-binding cassette transport system | АТФ-связывающая кассетная транспортная система раффинозы (Елена_С) |