3,168 research outputs found

    Larry Wos - Visions of automated reasoning

    Get PDF
    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

    Get PDF
    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

    The Ledger and Times, November 1, 1961

    Get PDF

    Bee Gee News April 14, 1950

    Get PDF
    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

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

    The B-G News May 23, 1967

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

    The Ledger and Times, January 15, 1954

    Get PDF

    The BG News January 5, 1977

    Get PDF
    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

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