Seymour R. 1925–1996 American computer scientist