Vertaling van "Démonstrateur automatisé de théorème " (Frans → Engels) :

démonstrateur automatique de théorème | démonstrateur automatisé de théorème
automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover

démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]
theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]

démonstrateur de théorèmes polyvalent [ démonstrateur de théorèmes universel ]
general-purpose theorem prover

démonstrateur de théorèmes | démonstration automatique de théorèmes
automatic deduction | mechanical theorem proving

démonstrateur de théorèmes par ordinateur [ démontreur de théorèmes informatique ]
computer-based theorem prover

démonstrateur de théorèmes non monotones
non-monotonic theorem prover

démonstrateur de théorèmes
theorem prover