Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Madeira, Alexandre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Benevides, Mário (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Theoretical Computer Science and General Issues ;
10669 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Edge Computing - EDGE 2018 Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
Έκδοση: (2018) -
Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings /
Έκδοση: (2019) -
Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017, Revised Selected Papers /
Έκδοση: (2018) -
ECML PKDD 2018 Workshops MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, Proceedings /
Έκδοση: (2019) -
Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings /
Έκδοση: (2019)