Traduction de «Automated theorem prover » (Anglais → Français) :

automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

démonstrateur automatique de théorème | démonstrateur automatisé de théorème

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

non-monotonic theorem prover

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

démonstrateur de théorèmes non monotones

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

theorem prover

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

démonstrateur de théorèmes

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

automatic theorem proving | automated theorem proving | mechanical theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

brute force theorem prover

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

démonstrateur de théorèmes force brute

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

commonsense theorem prover

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

démonstrateur de théorèmes de sens commun

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

D'autres ont cherché : automated theorem prover automated theorem proving automatic theorem prover automatic theorem proving brute force theorem prover commonsense theorem prover mechanical theorem prover mechanical theorem proving non-monotonic theorem prover proof-finding program prover theorem prover theorem proving program Automated theorem prover

datacenter (1): www.wordscope.fr (v4.0.br)

'Automated theorem prover' ->

Date index: 2023-09-28