démonstration
― Geriadur ar stlenneg
-
― automatique des théorèmes
dienaerezh emgefreek an delakadennoù
[intelligence artificielle]
-
la ―procède en deux étapes
daou dennad zo en dienadur
[récurrence : raisonnement &]
démonstration
◊ dienadur g.
― Gervaoù skiant
démonstration
― Geriadur an armerzh
-
(expérience)
daranren ; daranreadenn b.
-
(commercial)
darzerc'hañ ; darzerc'hadeg & b.
-
(math., philosophie)
dienaat (-adur, -aerezh, etc...).
démonstration
◊ dienadur g. -ioù
― Geriadur ar fizik
démonstration
◊ dienadur g. -ioù
― Geriadur ar jedoniezh
démonstration
◊ dienadur
― Gerva an brederouriezh
hypothèse (d'une démonstration)
◊ kentread g. -où
― Geriadur ar jedoniezh