Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Mechanical Theorem Proving in Geometries

Mechanical Theorem Proving in Geometries - Wen-Tsun Wu - Bog

- Basic Principles

af Wen-Tsun Wu

indgår i Texts & Monographs in Symbolic Computation serien

Mechanical Theorem Proving in Geometries af Wen-Tsun Wu
Bag om Mechanical Theorem Proving in Geometries

" Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783211825068
  • Indbinding:
  • Paperback
  • Sideantal:
  • 288
  • Udgivet:
  • 1. april 1994
  • Udgave:
  • 11994
  • Størrelse:
  • 244x170x17 mm.
  • Vægt:
  • 535 g.
  • 8-11 hverdage.
  • 28. november 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Wen-Tsun Wu

Vis alle bøger af Wen-Tsun Wu

Beskrivelse af Mechanical Theorem Proving in Geometries

" Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita tive relations, as to establish the axiom system of geometry.

Brugerbedømmelser af Mechanical Theorem Proving in Geometries



Andre købte også..
Find lignende bøger
Bogen Mechanical Theorem Proving in Geometries findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.