Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Association_for_Automated_Reasoning> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Association_for_Automated_Reasoning abstract "The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter.".
- Association_for_Automated_Reasoning wikiPageExternalLink www.AARInc.org.
- Association_for_Automated_Reasoning wikiPageID "3446141".
- Association_for_Automated_Reasoning wikiPageRevisionID "375479302".
- Association_for_Automated_Reasoning hasPhotoCollection Association_for_Automated_Reasoning.
- Association_for_Automated_Reasoning subject Category:Computer_science_organizations.
- Association_for_Automated_Reasoning type Abstraction100002137.
- Association_for_Automated_Reasoning type ComputerScienceOrganizations.
- Association_for_Automated_Reasoning type Group100031264.
- Association_for_Automated_Reasoning type Organization108008335.
- Association_for_Automated_Reasoning type SocialGroup107950920.
- Association_for_Automated_Reasoning type YagoLegalActor.
- Association_for_Automated_Reasoning type YagoLegalActorGeo.
- Association_for_Automated_Reasoning type YagoPermanentlyLocatedEntity.
- Association_for_Automated_Reasoning comment "The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter.".
- Association_for_Automated_Reasoning label "Association for Automated Reasoning".
- Association_for_Automated_Reasoning sameAs m.09cvwz.
- Association_for_Automated_Reasoning sameAs Q4809405.
- Association_for_Automated_Reasoning sameAs Q4809405.
- Association_for_Automated_Reasoning sameAs Association_for_Automated_Reasoning.
- Association_for_Automated_Reasoning wasDerivedFrom Association_for_Automated_Reasoning?oldid=375479302.
- Association_for_Automated_Reasoning isPrimaryTopicOf Association_for_Automated_Reasoning.