Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-3 z 3 (Czas wyszukiwania: 0.004 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2014 | Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm | Bancerek, Grzegorz | - | - |
2014 | Algebraic Approach to Algorithmic Logic | Bancerek, Grzegorz | - | - |
2014 | Term Context | Bancerek, Grzegorz | - | - |