Labelled Non-Classical Logics
- Indbinding:
- Hardback
- Sideantal:
- 292
- Udgivet:
- 31. januar 2000
- Udgave:
- 2000
- Størrelse:
- 234x156x19 mm.
- Vægt:
- 1360 g.
- 8-11 hverdage.
- 21. november 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
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:
© 2024 Pling BØGER Registered company number: DK43351621