Isbn: 9783032226259 - dynamic logic. new trends and applications: 6th international workshop, dalí 2025, xi'an, china, october 20–21, 2025, revised selected papers (lecture notes in computer science, 16472) (2 Ergebnisse)

ISBN
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (2)

  • Neu (2)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Springer, 2026

      3032226252 / 9783032226259

      • Softcover

      Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 77,12

      EUR 30,50 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the revised selected papers of the 6th International Workshop on Dynamic Logic - New Trends and Applications, DaLí 2025, held in Xi'an, China, during October 20 21, 2025.The 12 full papers included in this volume were carefully reviewed and selected from 31 submissions. These papers focus on the general field of dynamic logic, its variants and applications, including topics such as logics with regular modalities, the interface between logic and learning,quantum dynamic logic, and much more.

    • Sprache: Englisch

      Verlag: Springer, 2026

      3032226252 / 9783032226259

      • Softcover

      Anbieter: preigu, Osnabrück, Deutschlandpreigu

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 50,45

      EUR 70,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 5 verfügbar

      Taschenbuch. Zustand: Neu. Dynamic Logic. New Trends and Applications | 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers | Jing Wang (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2026 | Springer | EAN 9783032226259 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.