Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Automated Reasoning and Mathematics
- Essays in Memory of William W. McCune
- Indbinding:
- Paperback
- Sideantal:
- 259
- Udgivet:
- 19. marts 2013
- Udgave:
- 2013
- Størrelse:
- 155x235x14 mm.
- Vægt:
- 454 g.
Leveringstid:
8-11 hverdage
Forventet levering: 16. december 2024
Forlænget returret til d. 31. januar 2025
Beskrivelse af Automated Reasoning and Mathematics
The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Brugerbedømmelser af Automated Reasoning and Mathematics
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 Automated Reasoning and Mathematics findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
