حررت ساتلير في مجلة المنطق والحساب، في هيئة تحرير مجلة المنطق الآلي، وكانت رئيس مجلس الإدارة لمؤتمرات مختلفة بما في ذلك المؤتمر الدولي المشترك حول التفكير الآلي.
نحن بحاجة لملفات تعريف الارتباط لكي يعمل هذا الموقع. يرجى تمكينها للمتابعة.
نحن نظهر لك هذه الرسالة لأننا نحترم خصوصيتك.
بإستخدامك هذا الموقع أنت توافق لنا على جمع ملفات تعريف الارتباط "الكوكيز" لتقديم تجربة مستخدم أفضل،
المزيد من التفاصيل.
لا يمكن تصفح الموقع طالما رفضت استخدام الكوكيز لأن الموقع يعتمد عليه بشكل أساسي للعمل