Record Beta
Knowledge Representation and Automated Reasoning (RCRA = Rappresentazione della Conoscenza e Ragionamento Automatico)
https://id.confref.org/data/confref-portal/series/rcra
This record is part of the confref series Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA).
| rdf:type | portal:Series |
|---|---|
| rdfs:label | Knowledge Representation and Automated Reasoning (RCRA = Rappresentazione della Conoscenza e Ragionamento Automatico) |
| portal:dblpId | https://dblp.org/db/conf/rcra/ |
| portal:name | Knowledge Representation and Automated Reasoning (RCRA = Rappresentazione della Conoscenza e Ragionamento Automatico) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.