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

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

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