Foundations of Computer Science: Potential — Theory — Cognition

این کتاب مجموعه ای از مقالات داوری است که برای قدردانی از کار ویلفرد بروئر به مناسبت شصتمین سالگرد تولد او تنظیم شده است. این جلد 49 مقاله داوری اصلاح شده را ارائه می دهد که در بخش های موضوعی در مورد علوم رایانه و پتانسیل آن، مفاهیم اجتماعی علوم رایانه، زبان های رسمی و خودکار، ساختارها و نظریه پیچیدگی، شبکه های پتری، تجزیه و تحلیل سیستم ها و سیستم های توزیع شده، مهندسی نرم افزار و تأیید، شناخت و هوش مصنوعی، بازنمایی دانش و استدلال، یادگیری ماشین، شبکه‌های عصبی و روباتیک، زبان و سیستم‌های اطلاعاتی.

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.