תמונות העטיפה

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with n...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Areces, Carlos (Editor), Costa, Diana (Editor)
פורמט: אלקטרוני ספר אלקטרוני
שפה:אנגלית
יצא לאור: Cham : Springer International Publishing : Imprint: Springer, 2023.
מהדורה:1st ed. 2023.
סדרה:Lecture Notes in Computer Science, 13780
נושאים:
Logic.
Mathematical logic.
Logic programming.
Software engineering.
Computer networks .
Mathematical Logic and Foundations.
Logic in AI.
Software Engineering.
Computer Communication Networks.
גישה מקוונת:https://doi.org/10.1007/978-3-031-26622-5
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תיאור
סיכום:This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic. .
תיאור פיזי:1 online resource (XIII, 155 p. 37 illus.).
ISBN:9783031266225
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-26622-5

פריטים דומים