автоматическое доказательство теорем

Terms for subject Information technology containing автоматическое доказательство теорем | all forms | in specified order only

Russian	English
программа автоматического доказательства теорем	automatic theorem prover