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

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

2 results · clear filters Sort: newest oldest name

  1. Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus) (Calculemus)
    series, 5 events, 1999 to 2013
    Computer and information sciences
    s10dcpb
  2. Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999
    1999 · Trento, Italy
    Computer and information sciences
    e10tp91

As JSON: https://labs.confref.org/api/search?series=s10dcpb&from=1990&to=1999