Dynamic Logic. New Trends and Applications / Lecture Notes in Computer Science Bd.14401 (PDF)
5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
(Sprache: Englisch)
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...
The 8 full papers in this book were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Dynamic Logic. New Trends and Applications / Lecture Notes in Computer Science Bd.14401 (PDF)“
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.
Bibliographische Angaben
- 2024, 1st ed. 2024, 137 Seiten, Englisch
- Herausgegeben: Nina Gierasimczuk, Fernando R. Velázquez-Quesada
- Verlag: Springer International Publishing
- ISBN-10: 3031517776
- ISBN-13: 9783031517778
- Erscheinungsdatum: 12.01.2024
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 3.87 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Dynamic Logic. New Trends and Applications / Lecture Notes in Computer Science Bd.14401"
0 Gebrauchte Artikel zu „Dynamic Logic. New Trends and Applications / Lecture Notes in Computer Science Bd.14401“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Dynamic Logic. New Trends and Applications / Lecture Notes in Computer Science Bd.14401".
Kommentar verfassen