Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

Başlık:

Yazar:

Gierasimczuk, Nina. editor.

ISBN:

9783031517778

Basım Bilgisi:

1st ed. 2024.

Fiziksel Tanımlama:

XI, 137 p. 19 illus., 6 illus. in color. online resource.

Seri:

Lecture Notes in Computer Science, 14401

Özet:

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15-16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

Konu Terimleri:

Computer science.

Mathematical logic.

Logic programming.

Software engineering.

Computer networks .

Computer Science Logic and Foundations of Programming.

Mathematical Logic and Foundations.

Logic in AI.

Computer Communication Networks.

Yazar Ek Girişi:

Gierasimczuk, Nina.