Unification

Unification

لا توجد تقييمات بعد
Jan 1, 1990 · الإنجليزية · غلاف ورقي (604 صفحات)
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

تفاصيل الكتاب

تنسيق غلاف ورقي
صفحات 604
لغة الإنجليزية
منشور Jan 1, 1990
الناشر Academic Pr
رقم ISBN-10 0124095909
رقم ISBN-13 9780124095908

الوصف

Unification theory or equation solving in abstract algebras has become increasingly important in theoretical computer science and artificial intelligence studies. Unification theory has been successfully applied to almost all areas of computer science, from databases to non-classical logics to term-rewriting systems and to natural language processing. This volume presents a detailed summary of the latest developments in unification theory and algorithms.

الأنواع

علم وتكنولوجيا
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب