Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Ha... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens fundament
  7. Netværkskomponenter
  8. Softwareudvikling
  9. Dynamic Logic. New Trends and Applications: 4th International...

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

(Bog, Paperback / softback, Engelsk)
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Kunstig intelligens Matematikkens fundament Matematisk logik Netværkskomponenter Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2023
Udgivelsesdato 15-02-2023
Første udgivelsesår 2023
Serie Lecture Notes in Computer Science
Illustrationer 37 Illustrations, black and white; XIII, 155 p. 37 illus.
Fagredaktør Carlos Areces, Diana Costa
Originalsprog Switzerland
Sideantal 155
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 155 pages, 37 Illustrations, black and white; XIII, 155 p. 37 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783031266218