Title: Mathematical reasoning with diagrams
First published: 2001
Subjects: Automatic theorem proving, Automatische bewijsvoering, Charts, diagrams, Charts, diagrams, etc, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Wiskunde, Logic, symbolic and mathematical
LC classification: QA90 .J33 2001