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.
Reductive Logic and Proof-search
- Proof Theory, Semantics, and Control
del av Oxford Logic Guides-serien
- Bindende:
- Hardback
- Sider:
- 232
- Utgitt:
- 29 April 2004
- Dimensjoner:
- 162x242x18 mm.
- Vekt:
- 480 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 juli 2024
Beskrivelse av Reductive Logic and Proof-search
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
Brukervurderinger av Reductive Logic and Proof-search
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Reductive Logic and Proof-search finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
