DictionaryForumContacts

Google | Forvo | +

higher-order predicate calculus

AI. Prädikatenlogik höherer Ordnung (Stufe); erweiterte Quantorenlogik

Add | Report an error | Get short URL