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

Record Beta

Artificial Intelligence and Symbolic Computation (AISC)

https://id.confref.org/data/confref-portal/event/aisc2018

This record is part of the confref event Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings.

rdf:typeportal:Conference
schema:locationSuzhou (wd:Q42622)
rdfs:labelArtificial Intelligence and Symbolic Computation (AISC)
portal:acronymAISC
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:citySuzhou
portal:countryChina
portal:endDate2018-09-19
portal:keywordAutomated discovery
portal:keywordAutomated reasoning
portal:keywordAutomated theorem proving
portal:keywordBenchmarking
portal:keywordBézout domains
portal:keywordCombinatorial explosion
portal:keywordComputer algebra
portal:keywordCoq
portal:keywordD-optimal design
portal:keywordDesargues’ property
portal:keywordFinite geometry
portal:keywordFinite inductive types
portal:keywordGame Theory
portal:keywordGeoGebra
portal:keywordGraph transformations
portal:keywordHadamard matrix
portal:keywordHermite normal form
portal:keywordbraille
portal:keywordheuristic algorithm
portal:nameArtificial Intelligence and Symbolic Computation (AISC)
portal:portalPagehttp://portal.confref.org/list/aisc2018
portal:serieshttps://id.confref.org/data/confref-portal/series/aisc
portal:startDate2018-09-16
portal:submissionExtendedfalse
portal:year2018
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/aisc/aisc2018

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

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