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.
Labelled Non-Classical Logics - Luca Viganò - Bog
- Indbinding:
- Paperback
- Sideantal:
- 292
- Udgivet:
- 3. December 2010
- Udgave:
- 12000
- Størrelse:
- 235x155x16 mm.
- Vægt:
- 474 g.
- 2-3 uger.
- 4. Juni 2024
Normalpris
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
Beskrivelse af Labelled Non-Classical Logics
Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
Brugerbedømmelser af Labelled Non-Classical Logics
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 Labelled Non-Classical Logics findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
