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

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:
9781447111139

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
380

Udgivet:
27. september 2012

Udgave:
12002

Størrelse:
234x156x20 mm.

Vægt:
611 g.

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

Normalpris

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

Medlemspris

1.061,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 > Computer og IT

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