Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Lògica matemà tica Automatic theorem proving Conjunts, Teoria de -- Ensenyament Logic, Symbolic and mathematical -- Computer-assisted instruction Set theory -- Study and teaching Education, Preschool Mathematics
Torm Bossa, Gemma Prados Carrasco, Ferran Manyà , Felip Bofill Arasa, Miquel Ansótegui, Carlos Villaret i Ausellé, Mateu ​ Nieuwenhuis, Robert