Browsing by Author Sedlár, Igor
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| 1-Dec-2020 | Dynamic logic: new trends and applications | Martins, Manuel A.; Sedlár, Igor | book |  |