bn:14635433n
Noun Named Entity
AR
No term available
EN
Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering used to prove termination of term rewrite systems. Wikipedia
Relations
Sources