prover أمثلة على

أمثلة

1. Started in 1971 at Edinburgh, Scotland, this was a fully automatic theorem prover built using Pure Lisp.
   بدأت في عام 1971 في أدنبره، اسكتلندا، وكان هذا برهان للنظرية بالكامل حيث طورت وصممت باستخدام لغة البرمجة ليسب.