BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2008
    Number of items: 1.

    2008

    Gutierrez-Santos, Sergio and Pearce, D. and Geraniou, E. and Mavrikis, M. (2008) Supporting reasoning and problem-solving in mathematical generalisation with dependency graphs. In: Stapleton, G. and Howse, J. and Lee, J. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science 5223. Berlin, Germany: Springer Verlag, pp. 374-377. ISBN 9783540877301.

    This list was generated on Thu Mar 28 06:33:01 2024 GMT.