Yazar
Kosowski, Adrian. editor.
Format:
Electronic Resources
Alıntı:
, automata, and dynamics; and logic and games.
Yazar
Brlek, Srečko. editor.
Format:
Electronic Resources
Alıntı:
languages -- Codes; efficient text algorithms -- Symbolic dynamics; decision problems -- Relationships to
View Other Search Results
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
selected from 52 submissions. The papers address various topics such as database design, dynamics of
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
dynamics -- Informational Dynamics of `Might' Assertions -- A poor man's epistemic logic based on
Arama Sonuçlarını Sınırlandır
Daraltılmış: