ابحث في الفهارس

القيود الموجودة: 2 للبحث عن: "automatic theorem proving"

الترتيب حسب: المؤلف - العنوان - تاريخ النشر

• gallier,jean h. -- logic for computer science foundations of automatic theorem proving -- 1987 -- b
• gallier,jean h. -- logic for computer science foundations of automatic theorem proving -- 1987 -- b

1 - 2 من 2

execution time: 0.001 seconds

مساعدة - بحث جديد - الصفحة الرئيسية