Sutcliffe, Geoff.
Geoff Sutcliffe Australian computer scientist
Sutcliffe, Geoff, 1961-
VIAF ID: 57312945 ( Personal )
Permalink: http://viaf.org/viaf/57312945
Preferred Forms
- 100 0 _ ‡a Geoff Sutcliffe ‡c Australian computer scientist
-
- 100 1 _ ‡a Sutcliffe, Geoff
-
- 100 1 _ ‡a Sutcliffe, Geoff
- 100 1 _ ‡a Sutcliffe, Geoff
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings | |
Evaluation of automated theorem proving systems : CADE-12 Workshop 2C : Nancy, France | |
Logic for programming, artificial intelligence, and reasoning, 2005: | |
LPAR 2005 |