Fu a Toledo tra 1134 e 1178, dove tradusse 70 opere scientifiche dall'arabo al latino. Tra queste opere si segnalano le traduzioni di opere di fisica e di astronomia di Aristotele, ma anche di opere di logica, come gli Analitica Posteriora, con il commento di Temistio, e dello pseudo aristotelico De causis. Sia con quest'opera sia con il commento di Temistio dette un importante apporto nello sviluppo di aspetti platonizzanti all'interno della tradizione aristotelica (tratto decisivo del carattere di alcune correnti della filosofia degli ultimi secoli del medioevo e della prima età moderna).