American mathematician (1918-2001)
Alfred Horn was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper "On sentences which are true of direct unions of algebras" described Horn clauses and Horn sentences, which later became used in logic programming.
No platforms connected yet.
The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching