UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

AP (1)

KDG (1)

VUB (1)

Resource type

book (1)

digital (1)

Language

English (1)

Year

From To

2024 (1)

Listing 1 - 1 of 1
Sort by

Multi

Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Authors: Gierasimczuk, Nina --- Velázquez-Quesada, Fernando R.
ISBN: 9783031517778 9783031517761 9783031517785 Year: 2024 Publisher: Cham Springer Nature, Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- computers --- wiskunde --- software engineering --- logica --- computernetwerken --- computerkunde

Listing 1 - 1 of 1
Sort by