Cercar:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
Logic, Symbolic and mathematical Teoremes -- Demostració automà tica Lògica matemà tica Automatic theorem proving
Ansótegui, Carlos Ministerio de EconomÃa y Competitividad (Espanya) Villaret i Ausellé, Mateu Bofill Arasa, Miquel Manyà , Felip