An interactive tool for manipulating logical formulae

J. Lodder, J.T. Jeuring, H. Passier

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Second International Congress on Tools for Teaching Logic
Editors	M. Manzano, B. Pérez Lancho, Gil A.
Publication status	Published - 2006

Cite this

@inproceedings{20367451c90542b3b9b1e57781e0e46b,

title = "An interactive tool for manipulating logical formulae",

author = "J. Lodder and J.T. Jeuring and H. Passier",

note = "jj8",

year = "2006",

language = "Undefined/Unknown",

editor = "M. Manzano and {P{\'e}rez Lancho}, B. and Gil A.",

booktitle = "Proceedings of the Second International Congress on Tools for Teaching Logic",

}