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