Larry Wos

Visions of Automated Reasoning

by
Geoff Sutcliffe
University of Miami, USA
based on a paper by
Michael Beeson
San Jose State University, USA
Michael Kinyon
University of Denver, USA
Maria Paola Bonacina
Università degli Studi di Verona, Italy
Geoff Sutcliffe
University of Miami, USA

This talk is being recorded

Abstract