Vincent Degauquier
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Useful Four-Valued Extension of the Temporal Logic KtT4 Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 1 / s. 15 - 32ROK: 2018CZYSTY TEKSTBIBTEX
