Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Computational Logic and Set Theory
- Applying Formalized Logic to Analysis
- Bindende:
- Hardback
- Sider:
- 416
- Utgitt:
- 16 juli 2011
- Dimensjoner:
- 166x243x30 mm.
- Vekt:
- 824 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 oktober 2024
Beskrivelse av Computational Logic and Set Theory
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Brukervurderinger av Computational Logic and Set Theory
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Computational Logic and Set Theory finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
