Geoff Sutcliffe

1 published title

Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005

(Contributor)

1 edition