De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

af Simon Colton

indgår i Distinguished Dissertations serien

Automated Theory Formation in Pure Mathematics af Simon Colton
Bag om Automated Theory Formation in Pure Mathematics

Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781852336097
  • Indbinding:
  • Hardback
  • Sideantal:
  • 380
  • Udgivet:
  • 9. august 2002
  • Udgave:
  • 2002
  • Størrelse:
  • 235x155x23 mm.
  • Vægt:
  • 1640 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.

Bag om Simon Colton

Vis alle bøger af Simon Colton

Beskrivelse af Automated Theory Formation in Pure Mathematics

Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.

Brugerbedømmelser af Automated Theory Formation in Pure Mathematics



Andre købte også..
Find lignende bøger
Bogen Automated Theory Formation in Pure Mathematics findes i følgende kategorier: