Sciweavers

JAR
2002
61views more  JAR 2002»
14 years 8 days ago
The IJCAR ATP System Competition
The results of the IJCAR ATP System Competition are presented.
Geoff Sutcliffe, Christian B. Suttner, Francis Jef...