Larry Wos - Visions of automated reasoning

This paper celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in August 2020. The narrative covers Larry's most long-lasting ideas about inference rules and search strategies for theorem proving, his work on applications of theorem proving, and a collection of personal memories and anecdotes that let readers appreciate Larry's personality and enthusiasm for automated reasoning

The Future of the Internet

Presents findings from a survey of technology leaders, scholars, industry officials, and analysts. Evaluates the network infrastructure's vulnerability to attack, and the Internet's impact on various institutions and activities in the coming decade

Bee Gee News April 14, 1950

The BGSU campus student newspaper April 14, 1950. Volume 34 - Issue 24https://scholarworks.bgsu.edu/bg-news/1928/thumbnail.jp

The B-G News April 9, 1957

The BGSU campus student newspaper April 9, 1957. Volume 41 - Issue 42https://scholarworks.bgsu.edu/bg-news/2358/thumbnail.jp

Discussion of the selection and use of teaching aids and standard materials in the lower school at Perkins School for the Blind

Thesis (Ed.M.)--Boston Universit

The B-G News May 23, 1967

The BGSU campus student newspaper May 23, 1967. Volume 51 - Issue 111https://scholarworks.bgsu.edu/bg-news/3102/thumbnail.jp

The BG News January 5, 1977

The BGSU campus student newspaper January 5, 1977. Volume 61 - Issue 42https://scholarworks.bgsu.edu/bg-news/4309/thumbnail.jp

The BG News December 2, 1999

The BGSU campus student newspaper December 2, 1999. Volume 84 - Issue 67https://scholarworks.bgsu.edu/bg-news/7573/thumbnail.jp