词典论坛联络

   英语 +
Google | Forvo | +

higher-order predicate calculus

人工智能 Prädikatenlogik höherer Ordnung (Stufe); erweiterte Quantorenlogik