ترجمه فارسی توضیحات (ترجمه ماشینی)
انفورماتیک جبری: دومین کنفرانس بین المللی، CAI 2007، تسالونکیک، یونان، 21-25 می 2007، مقالات منتخب و دعوت شده اصلاح شده
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی انفورماتیک جبری، CAI 2007، برگزار شده در تسالونیکی، یونان، در ماه مه 2007 است.
10 مقاله کامل اصلاح شده همراه با 9 مقاله دعوت شده ارائه شده است. به دقت بررسی و از بین 29 مورد ارسالی انتخاب شد. این مقالات موضوعاتی مانند معناشناسی جبری در نمودارها و درختان، سری‌های قدرت رسمی، اشیاء نحوی، پردازش تصویر جبری، محاسبات بی‌نهایت، گیرنده‌ها و مبدل‌ها برای رشته‌ها، درختان، نمودارها، آرایه‌ها و غیره و مسائل تصمیم‌گیری را پوشش می‌دهند.
This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007.
The 10 revised full papers presented together with 9 invited papers were carefully reviewed and selected from 29 submissions. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.