Christelle Scharff

From MaRDI portal
Person:3525103

Available identifiers

zbMath Open scharff.christelleMaRDI QIDQ3525103

List of research outcomes





PublicationDate of PublicationType
Building Extended Canonizers by Graph-Based Deduction2008-09-17Paper
Artificial Intelligence and Symbolic Computation2005-08-19Paper

Research outcomes over time

This page was built for person: Christelle Scharff