Code: 06352717
Mathematical Reasoning with Diagrams
by Mateja Jamnik
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows ... more
- Language:
English - Binding: Paperback
- Number of pages: 210
Publisher: Centre for the Study of Language & Information, 2002
- More about this
33.72 €
Low in stock at our supplier
Shipping in 14 - 18 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
-
Batman: The Long Halloween
24.86 € -16 % -
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
336.25 € -
World of Warcraft Unofficial Cookbook
21.64 € -
Tale of Tales
13.08 € -29 % -
330 Belohnungsaufkleber
7.04 € -5 % -
Krótka historia czasu
10.86 € -1 % -
My European Family
17.31 € -18 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Mathematical Reasoning with Diagrams
You get 85 loyalty points
Book synopsis
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.
Book details
Book category Books in English Mathematics & science Mathematics
33.72 €
- Full title: Mathematical Reasoning with Diagrams
- Subtitle: From Intuition to Automation
- Author: Mateja Jamnik
- Language: English
- Binding: Paperback
- Number of pages: 210
- EAN: 9781575863245
- ISBN: 9781575863245
- ID: 06352717
- Publisher: Centre for the Study of Language & Information
- Weight: 306 g
- Dimensions: 229 × 152 × 12 mm
- Date of publishing: 04. February 2002
Trending among others
-
Pearson Edexcel International A Level Mathematics Pure 2 Mathematics Student Book
36.43 € -
How to Bake Pi
11.37 € -27 % -
Toward Human-Level Artificial Intelligence
19.62 € -18 % -
Mathematics Applications and Interpretation for the IB Diploma Standard Level
96.84 € -
Cambridge International AS & A Level Mathematics Pure Mathematics 1 Student's Book
29.19 € -5 % -
Mathematics Analysis and Approaches for the IB Diploma Higher Level
106.10 € -
Mathematics Applications and Interpretation for the IB Diploma Higher Level
106.61 € -
Mathematics Analysis and Approaches for the IB Diploma Standard Level
96.84 € -
Fashion, Faith, and Fantasy in the New Physics of the Universe
18.21 € -8 % -
Beyond Infinity
11.57 € -21 % -
Love and Math
15.59 € -25 % -
No Bullshit Guide to Math and Physics
28.18 € -16 % -
ISE Discrete Mathematics and Its Applications
76.60 € -
Math Art
22.34 € -19 % -
Princeton Companion to Mathematics
98.55 € -9 % -
Divine Proportion
8.75 € -28 % -
Basic Set Theory
20.83 € -19 % -
Mathematics for the IB Diploma: Higher Level with CD-ROM
84.16 € -
Mathematics for the Non-mathematician
28.08 € -20 % -
Stanford Mathematics Problem Book
8.65 € -20 % -
Basic Mathematics
51.94 € -17 % -
Simply Maths
12.07 € -27 % -
Counterexamples in Analysis
17.21 € -28 % -
Thinking Mathematically
56.57 € -
Mathematics in Life, Society, and the World
61.60 € -
Cambridge International AS & A Level Mathematics Pure Mathematics 2 and 3 second edition
40.76 € -4 % -
A-Level Maths Edexcel Practice Papers
10.36 € -15 % -
Microsoft Power BI For Dummies
26.17 € -30 % -
Colossal Book of Mathematics
33.62 € -17 % -
Introduction to Tensor Calculus, Relativity and Cosmology
14.08 € -21 % -
Effective Data Storytelling - How to Drive Change with Data, Narrative and Visuals
34.32 € -19 % -
Statistics Essentials For Dummies
11.27 € -20 % -
Data Science Programming All-in-One For Dummies
29.59 € -34 % -
Trachtenberg Speed System of Basic Mathematics
11.27 € -28 % -
Statistics All-in-One For Dummies (+ Chapter Quizzes Online)
25.46 € -35 % -
Pearson Edexcel AS and A level Mathematics Pure Mathematics Year 1/AS Textbook + e-book
36.64 € -
Principia
18.41 € -12 % -
First Course in Graph Theory
29.09 € -5 % -
Pearson Edexcel A level Mathematics Pure Mathematics Year 2 Textbook + e-book
35.83 € -
Topology (Classic Version)
132.88 € -
Physics for Medical Students
25.66 € -18 % -
Useful Math & Physical Formulae
7.04 € -19 % -
Tiger That Isn't
10.26 € -28 % -
Calculus For The Practical Man
52.74 € -
Schaum's Outline of Mathematical Handbook of Formulas and Tables, Fifth Edition
15.19 € -28 % -
Pearson Edexcel GCSE (9-1) Mathematics Foundation Student Book 1
21.53 € -
Vedic Mathematics
19.32 € -
Pearson Edexcel A level Mathematics Statistics & Mechanics Year 2 Textbook + e-book
18.51 € -
Pearson Edexcel GCSE (9-1) Mathematics Foundation Student Book 2
21.53 €
Shopping guide
Books by language
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)