Nicolaas Govert de Bruijn oor Nederlands
Nicolaas Govert de Bruijn
Vertalings in die woordeboek Frans - Nederlands
Nicolaas Govert de Bruijn
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Automath (pour « automating mathematics ») était un langage formel, développé par Nicolaas Govert de Bruijn à partir de 1967, dont le but était d'exprimer des théories mathématiques complètes de manière à inclure un assistant de preuve qui pouvait en vérifier la correction.
Wat schattigWikiMatrix WikiMatrix
1 sinne gevind in 1 ms. Hulle kom uit baie bronne en word nie nagegaan nie.