نتائج البحث - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- يعرض 1 - 2 نتائج من 2
-
1
Proof technology and computation
منشور في 2006"…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…"
رقم الاستدعاء: جاري التحميل…An electronic book accessible through the World Wide Web; click to view
المكان: جاري التحميل…
الكتروني وقائع المؤتمر كتاب الكتروني -
2
Proof technology and computation
منشور في 2006"…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…"
رقم الاستدعاء: جاري التحميل…An electronic book accessible through the World Wide Web; click to view
المكان: جاري التحميل…
الكتروني وقائع المؤتمر كتاب الكتروني