Mathematical Reasoning with Diagrams
Publisher: Center for the Study of Language and Inf
Published: November 1, 2001
Language: eng
Format: Paperback
Number of pages: 200
ISBN-13: 9781575863245
Subjects: Mathematics; Logic; Science/Mathematics; Mathematics / Logic; Charts, diagrams, etc; Advanced; Automatic theorem proving; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical
Notes: Center for the Study of Language and Information - Lecture Notes