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.
- 8-11 hverdage.
- 9. december 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
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