Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Algorismes computacionals Computer algorithms Logic, Symbolic and mathematical Lògica matemà tica Matrices Matrius (Matemà tica) Model theory
Nieuwenhuis, Robert Oliveras Llunell, Albert Bofill Arasa, Miquel Rubio, Albert RodrÃguez Carbonell, Enric