Structured derivations: A logic based approach to teaching mathematics

Linda Christina Yvonne Mannila, Ralph-Johan Back, Mia Peltomäki, Patrick Sibelius

Research output: Conference materials › Paper › peer-review

Original language	English
Publication status	Published - 2008
MoE publication type	Not Eligible
Event	Formal Methods in Computer Science Education - Duration: 29 Mar 2008 → …

Conference	Formal Methods in Computer Science Education
Abbreviated title	FORMED
Period	29/03/2008 → …

Cite this

@conference{6719c98149f84ee2a4fe846c3d20e710,

title = "Structured derivations: A logic based approach to teaching mathematics",

author = "Mannila, {Linda Christina Yvonne} and Ralph-Johan Back and Mia Peltom{\"a}ki and Patrick Sibelius",

year = "2008",

language = "English",

note = "Formal Methods in Computer Science Education ; Conference date: 29-03-2008",

}