De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Labelled Non-Classical Logics

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792377498
  • 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.

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



Find lignende bøger
Bogen Labelled Non-Classical Logics findes i følgende kategorier: