The little prover /

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Friedman, Daniel P. (مؤلف), Eastlund, Carl (مؤلف)
مؤلفون آخرون:	Bibby, Duane (المصور), Moore, J. Strother (كاتب المقدمة، إلخ.), Felleisen, Matthias (مؤلف الخاتمة، الافتتاحية، إلخ.)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
الموضوعات:	Automatic theorem proving. LISP (Computer program language) Electronic books.
الوصول للمادة أونلاين:	An electronic book accessible through the World Wide Web; click to view
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة