Record Beta

Intelligent Computer Mathematics / Mathematical Knowledge Management

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

rdf:type	portal:Conference
schema:location	Paris (wd:Q90)
rdfs:label	Intelligent Computer Mathematics / Mathematical Knowledge Management
portal:acronym	MKM
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Paris
portal:country	France
portal:endDate	2010-07-10
portal:keyword	Alpha-Beta pruning
portal:keyword	Automated reasoning
portal:keyword	C-primitive
portal:keyword	Combinatorial game
portal:keyword	Computer algebra
portal:keyword	Content MathML
portal:keyword	Coq
portal:keyword	Formal methods
portal:keyword	Matrix and Polynomial Interpretations
portal:keyword	acquired immune system
portal:keyword	active particles
portal:keyword	artificial intelligence
portal:keyword	bijective base-2 arithmetic
portal:keyword	computational mathematics
portal:keyword	formal description of arithmetic and set theoretical data types
portal:keyword	formal verification
portal:keyword	interval analysis
portal:keyword	kinetic theory
portal:keyword	logic
portal:keyword	mathematical formula
portal:name	Intelligent Computer Mathematics / Mathematical Knowledge Management
portal:portalPage	http://portal.confref.org/list/mkm2010
portal:series	https://id.confref.org/data/confref-portal/series/mkm
portal:startDate	2010-07-05
portal:submissionExtended	false
portal:year	2010
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/aisc/aisc2010

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