What has the author Mateja Jamnik written?

Mateja Jamnik has written:

'Mathematical reasoning with diagrams' -- subject(s): Automatic theorem proving, Automatische bewijsvoering, Charts, diagrams, Charts, diagrams, etc, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Wiskunde