词典论坛联络

   英语 +
Google | Forvo | +

second-order predicate calculus

人工智能 Prädikatenkalkül zweiter Ordnung (Stufe); Prädikatenlogik zweiter Ordnung (Stufe); Quantorenlogik zweiter Ordnung (Stufe)
信息技术 Prädikatenlogik 2.Ordnung