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...

Cijeli opis

Spremljeno u:
Bibliografski detalji
Autor kompanije: SpringerLink (Online service)
Daljnji autori: Areces, Carlos (Urednik), Costa, Diana (Urednik)
Format: Elektronički e-knjiga
Jezik:engleski
Izdano: Cham : Springer International Publishing : Imprint: Springer, 2023.
Izdanje:1st ed. 2023.
Serija:Lecture Notes in Computer Science, 13780
Teme:
Online pristup:https://doi.org/10.1007/978-3-031-26622-5
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Sustav se trenutačno održava

Naš sustav za upravljanje knjižnicom se trenutačno održava.

Informacije o dostupnosti primjeraka i predmeta trenutačno nisu dostupne. Ispričavamo se zbog prouzročenih neugodnosti. Slobodno nas kontaktiraj radi daljnje pomoći:

library@juniv.edu

Internet

https://doi.org/10.1007/978-3-031-26622-5