zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 61-68, electronic only (2006).
MSC:  68W27 05C15 05C85
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication