Большой англо-русский и русско-английский словарь
программа (для) автоматического доказательства теорем
«automatic theorem prover»
automatic theorem prover в энциклопедиях
automatic theorem prover в энциклопедиях
программа (для) автоматического доказательства теорем