×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 217-243 (2002).
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software