W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-3 z 3 (Czas wyszukiwania: 0.002 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2016 | The Axiomatization of Propositional Logic | Giero, Mariusz | - | - |
| 2014 | The Formalization of Decision-Free Petri Net | Shah, Pratima K.; Kawamoto, Pauline N.; Giero, Mariusz | - | - |
| 2015 | Propositional Linear Temporal Logic with Initial Validity Semantics | Giero, Mariusz | - | - |
Odkryj
Temat