Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Lògica matemà tica Logic, Symbolic and mathematical Teoremes -- Demostració automà tica Automatic theorem proving
Manyà , Felip Bofill Arasa, Miquel Ansótegui, Carlos Ministerio de EconomÃa y Competitividad (Espanya) Villaret i Ausellé, Mateu