"The IJCAR ATP System Competition."

Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier (2002)

Details and statistics

DOI: 10.1023/A:1015736313131

access: closed

type: Journal Article

metadata version: 2021-04-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics