Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Event Beta

International Joint Conference on Automated Reasoning

FROCOSIJCAR
Date
2004-07-04/08
Place
Cork, Ireland on the map
Series
International Symposium on Frontiers of Combining Systems
Edition
2
Academic field
Natural sciences: Computer and information sciences
Disciplines
computer science
Identifier
https://id.confref.org/event/e103g24

Proceedings

TitleDOIYearRecord
Automated Reasoning
LNCS 3097
10.1007/b986912004Springer

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)
  • http://lod.springer.com/data/conference/frocos2004
confref portal (2020)

Cite

International Joint Conference on Automated Reasoning. confref identifier e103g24. https://id.confref.org/event/e103g24

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.