Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567243393> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1567243393 abstract "This report contains the proceedings of The 19th Automated Reasoning Workshop (ARW2012). The workshop was held at the University of Manchester from 2 to 4 April 2012.ARW provides an informal forum for the automated reasoning community to discussrecent work, new ideas and applications, and current trends. It aims to bring togetherresearchers from all areas of automated reasoning in order to foster links and facilitatecross-fertilisation of ideas among researchers from various disciplines, from theoreticians,from implementers and from users of automated reasoning methodologies. Since1994, when it was held in Leeds as part of the 1994 AISBWorkshop and Tutorial Series,ARW has been organised on an annual basis." @default.
- W1567243393 created "2016-06-24" @default.
- W1567243393 creator A5036361163 @default.
- W1567243393 creator A5037583341 @default.
- W1567243393 date "2012-05-28" @default.
- W1567243393 modified "2023-09-27" @default.
- W1567243393 title "Proceedings of the 19th Automated Reasoning Workshop" @default.
- W1567243393 hasPublicationYear "2012" @default.
- W1567243393 type Work @default.
- W1567243393 sameAs 1567243393 @default.
- W1567243393 citedByCount "0" @default.
- W1567243393 crossrefType "journal-article" @default.
- W1567243393 hasAuthorship W1567243393A5036361163 @default.
- W1567243393 hasAuthorship W1567243393A5037583341 @default.
- W1567243393 hasConcept C127413603 @default.
- W1567243393 hasConcept C154945302 @default.
- W1567243393 hasConcept C161301231 @default.
- W1567243393 hasConcept C195344581 @default.
- W1567243393 hasConcept C2522767166 @default.
- W1567243393 hasConcept C37335422 @default.
- W1567243393 hasConcept C41008148 @default.
- W1567243393 hasConcept C55587333 @default.
- W1567243393 hasConcept C89288958 @default.
- W1567243393 hasConceptScore W1567243393C127413603 @default.
- W1567243393 hasConceptScore W1567243393C154945302 @default.
- W1567243393 hasConceptScore W1567243393C161301231 @default.
- W1567243393 hasConceptScore W1567243393C195344581 @default.
- W1567243393 hasConceptScore W1567243393C2522767166 @default.
- W1567243393 hasConceptScore W1567243393C37335422 @default.
- W1567243393 hasConceptScore W1567243393C41008148 @default.
- W1567243393 hasConceptScore W1567243393C55587333 @default.
- W1567243393 hasConceptScore W1567243393C89288958 @default.
- W1567243393 hasLocation W15672433931 @default.
- W1567243393 hasOpenAccess W1567243393 @default.
- W1567243393 hasPrimaryLocation W15672433931 @default.
- W1567243393 hasRelatedWork W1514519261 @default.
- W1567243393 hasRelatedWork W1528152622 @default.
- W1567243393 hasRelatedWork W2071499613 @default.
- W1567243393 hasRelatedWork W2181650888 @default.
- W1567243393 hasRelatedWork W2227635732 @default.
- W1567243393 hasRelatedWork W2581083019 @default.
- W1567243393 hasRelatedWork W2611350010 @default.
- W1567243393 hasRelatedWork W2737508986 @default.
- W1567243393 hasRelatedWork W2744126346 @default.
- W1567243393 hasRelatedWork W2799445235 @default.
- W1567243393 hasRelatedWork W2889792732 @default.
- W1567243393 hasRelatedWork W2910158044 @default.
- W1567243393 hasRelatedWork W2911794064 @default.
- W1567243393 hasRelatedWork W2912292119 @default.
- W1567243393 hasRelatedWork W2914130358 @default.
- W1567243393 hasRelatedWork W2914367605 @default.
- W1567243393 hasRelatedWork W2915820567 @default.
- W1567243393 hasRelatedWork W2952123343 @default.
- W1567243393 hasRelatedWork W2997933092 @default.
- W1567243393 hasRelatedWork W3046120165 @default.
- W1567243393 isParatext "false" @default.
- W1567243393 isRetracted "false" @default.
- W1567243393 magId "1567243393" @default.
- W1567243393 workType "article" @default.