الوصف
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.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
604 صفحات
لغة
الإنجليزية
منشور
Jan 1, 1990
الناشر
Academic Pr
رقم ISBN-10
0124095909
رقم ISBN-13
9780124095908