استرجاع مجاني وسهل
أفضل العروض
استرجاع مجاني وسهلأفضل العروض
| الناشر | Springer |
| رقم الكتاب المعياري الدولي 10 | 3540182179 |
| الكاتب | Dominique Snyers |
| تاريخ النشر | 12 August 1987 |
| رقم الكتاب المعياري الدولي 13 | 9783540182177 |
| وصف الكتاب | This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A s |
| اللغة | English |
| عدد الصفحات | 136 pages |
