De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Mechanical Theorem Proving in Geometries

- Basic Principles

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.
  • 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.

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



Find lignende bøger
Bogen Mechanical Theorem Proving in Geometries findes i følgende kategorier: