More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-3 of 3 results

  • www.aarinc.org
  • 3
  • 23
The Association for Automated Reasoning (AAR) is a not-for-profit corporation intended for educational and scientific purposes. The objective of the AAR is to advance the field of automated reasoning by disseminating and exchanging information among..
Relevance: 10.941446
  • cadeinc.org
  • 3
  • 37
CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1975. Previous CADEs were mostly biennial, and annual conferences started in 1996. Since 2001 CADE has..
Relevance: 7.6822042
  • www.sc-square.org
  • 53
We believe that these activities will initiate cross-fertilization of both fields and bring mutual benefits. Combining the knowledge, experience and the technologies in these communities will enable the development of radically improved software..
Relevance: 5.5531635