Court proceedings where computers compete