De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Labelled Non-Classical Logics

Labelled Non-Classical Logics

af Luca Viganò
Labelled Non-Classical Logics af Luca Viganò
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:
  • 9781441949622
  • Indbinding:
  • Paperback
  • Sideantal:
  • 292
  • Udgivet:
  • 3. december 2010
  • Udgave:
  • 12000
  • Størrelse:
  • 235x155x16 mm.
  • Vægt:
  • 474 g.
  • 8-11 hverdage.
  • 9. december 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.

Bag om Luca Viganò

Vis alle bøger af Luca Viganò

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



Andre købte også..
Find lignende bøger
Bogen Labelled Non-Classical Logics findes i følgende kategorier: