booktheque

איפה לקנות

בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

על הספר

"This volume presents the latest developments in the area of declarative languages and technologies, which aim to provide rigorous frameworks for designing, specifying, implementing and verifying autonomous interacting agents. These frameworks are based on computational logics and other formal methods such as mathematical models and game theoretical approaches."--Preface.

פרטי הספר

שנה
2010
שפה
English
סדרה
Lecture notes in computer science -- 5948. -- Lecture notes in artificial intelligence
הוצאה
Springer
מהדורות
1
עמודים
261
ISBN
9783642113543

מקור הנתונים: Wikidata