СловариФорумКупитьСкачатьКонтакты

   Английский Китайский +
Google | Forvo | +

annotated predicate calculus

ИТ. 带注释的谓词演算