answersLogoWhite

0

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

User Avatar

Wiki User

10y ago

What else can I help you with?