theorem prover

Information technology and data processing
da teorembevis
de Beweisfindungsverfahren , Theorembeweise
el αποδεικτήρας θεωρημάτων
es demostrador de teoremas
fi väittämän todistin
fr démonstrateur de théorèmes
it dimostratore di teoremi
nl stellingbewijzer , theorem prover
pt demonstrador de teoremas
sv teorembevisare