Mechanical Theorem Proving in Geometries
- Basic Principles
- Indbinding:
- Paperback
- Sideantal:
- 288
- Udgivet:
- 1. april 1994
- Udgave:
- 11994
- Størrelse:
- 244x170x17 mm.
- Vægt:
- 535 g.
Leveringstid:
8-11 hverdage
Forventet levering: 27. november 2024
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Mechanical Theorem Proving in Geometries findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621