Name: Automated Theory Formation in Pure Mathematics
Price: 1222.95 DKK
Availability: InStock
Author: Simon Colton
ISBN: 9781852336097

Automated Theory Formation in Pure Mathematics af Simon Colton

Du sparer 0% ift. normalprisen Spar 0%

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

Forlag:
Springer London Ltd

Indbinding:
Hardback

Sideantal:
380

Udgivet:
9. august 2002

Udgave:
2002

Størrelse:
235x155x23 mm.

Vægt:
1640 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

Normalpris

BLACK WEEK
1.222,95 kr. + Fragt
~~1.222,95 kr.~~

Medlemspris

1.172,95 kr.

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

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:

Business og læring

Automated Theory Formation in Pure Mathematics - Simon Colton - Bog

Bag om Simon Colton

Beskrivelse af Automated Theory Formation in Pure Mathematics

Brugerbedømmelser af Automated Theory Formation in Pure Mathematics

Gør som tusindvis af andre bogelskere