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.
Symbolic Logic and Mechanical Theorem Proving
- Bindende:
- Hardback
- Sider:
- 331
- Utgitt:
- 15. juni 1973
- Dimensjoner:
- 235x159x29 mm.
- Vekt:
- 648 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 25. mai 2026
Beskrivelse av Symbolic Logic and Mechanical Theorem Proving
Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be applied to various areas such as question answering, problem solving, and others.
Brukervurderinger av Symbolic Logic and Mechanical Theorem Proving
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Symbolic Logic and Mechanical Theorem Proving finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2026 Bokreolen.no
