Geoff Sutcliffe

发表

Geoff Sutcliffe, Francis Jeffry Pelletier, G. Sutcliffe, 2019, CADE.

Geoff Sutcliffe, 2000 .

Geoff Sutcliffe, Josef Urban, Yury Puzis, 2009 .

Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis, 1994, CADE.

Geoff Sutcliffe, Tanel Tammet, Stephan Schulz, 2006, Int. J. Artif. Intell. Tools.

Geoff Sutcliffe, Christian B. Suttner, G. Sutcliffe, 1994, Journal of Automated Reasoning.

Geoff Sutcliffe, Stephan Schulz, Nahku Saidy, 2020, PAAR+SC²@IJCAI.