ES EN Traducciones del Español al Inglés de Demostrador de teoremas Isabelle
La búsqueda del término Demostrador de teoremas Isabelle ha obtenido 2 resultados
Ir a
ES | Español | EN | Inglés | |
---|---|---|---|---|
Demostrador de teoremas Isabelle | Isabelle | |||
Demostrador de teoremas Isabelle | Isabelle theorem prover |
ES EN Traducciones de demostrador
ES EN Traducciones de de
de (o) [general] | to (o) [general] | |||
de (o) [concerniente] | concerning (o) [concerniente] | |||
de (o) [concerniente] | regarding (o) [concerniente] | |||
de (o) [concerniente] | about (o) [concerniente] | |||
de (o) [sujeto] | about (o) [sujeto] | |||
de | of | |||
de (o) [general] | of (o) [general] | |||
de (o) [origen] | of (o) [origen] | |||
de (o) [posesión] | of (o) [posesión] | |||
de | out of |