Wörterbücher
Forum
Kontakte

   Englisch Chinesisch +
Google | Forvo | +

annotated predicate calculus

IT 带注释的谓词演算