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. Analysis and Synthesis of Logics

Analysis and Synthesis of Logics

- How to Cut and Paste Reasoning Systems

af Dov M. Gabbay, Walter Carnielli, Marcelo Coniglio, Paula Gouveia, Cristina Sernadas

indgår i Applied Logic Series serien

Analysis and Synthesis of Logics af Dov M. Gabbay
Bag om Analysis and Synthesis of Logics

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781402067815
  • Indbinding:
  • Hardback
  • Sideantal:
  • 602
  • Udgivet:
  • 4. februar 2008
  • Udgave:
  • 2008
  • Størrelse:
  • 234x156x33 mm.
  • Vægt:
  • 2290 g.
  • 8-11 hverdage.
  • 20. 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.

Bag om Dov M. Gabbay

Vis alle bøger af Dov M. Gabbay

Beskrivelse af Analysis and Synthesis of Logics

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.

Brugerbedømmelser af Analysis and Synthesis of Logics



Andre købte også..
Find lignende bøger
Bogen Analysis and Synthesis of Logics findes i følgende kategorier: