Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem

Automatic theorem proving Teoremes -- Demostració automà tica Lògica matemà tica Logic, Symbolic and mathematical

Bofill Arasa, Miquel Ansótegui, Carlos Ministerio de EconomÃa y Competitividad (Espanya) Manyà , Felip Villaret i Ausellé, Mateu