Sciweavers

12 search results - page 1 / 3
» aicom 2005
Sort
View
83
Voted
AICOM
2005
51views more  AICOM 2005»
14 years 11 months ago
The IJCAR-2004 Automated Theorem Proving Competition
Geoff Sutcliffe
67
Voted
AICOM
2005
46views more  AICOM 2005»
14 years 11 months ago
Enumerating consistent metaquery instantiations
Fabrizio Angiulli
73
Voted
AICOM
2005
43views more  AICOM 2005»
14 years 11 months ago
Normative Agents in Health Care: Uses and challenges
Javier Vázquez-Salceda