Przeglądaj przez Autor Giero, Mariusz
Pokazuję rezultaty 7 do 7 z 7
< Porzedni
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2012 | Weak Completeness Theorem for Propositional Linear Time Temporal Logic | Giero, Mariusz | - | - |