Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2014 | Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm | Bancerek, Grzegorz | - | - |
2012 | Free Term Algebras | Bancerek, Grzegorz | - | - |
2014 | Algebraic Approach to Algorithmic Logic | Bancerek, Grzegorz | - | - |
2013 | Semantics of MML Query - Ordering | Bancerek, Grzegorz | - | - |
2010 | A Model of Mizar Concepts - Unification | Bancerek, Grzegorz | - | - |
2014 | Term Context | Bancerek, Grzegorz | - | - |
2012 | Semantics of MML Query | Bancerek, Grzegorz | - | - |
2011 | Representation Theorem for Stacks | Bancerek, Grzegorz | - | - |
2012 | Program Algebra over an Algebra | Bancerek, Grzegorz | - | - |
2013 | Analysis of Algorithms: An Example of a Sort Algorithm | Bancerek, Grzegorz | - | - |
Odkryj
Temat