Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Revision, Acceptability and Context

Revision, Acceptability and Context - Dov M. Gabbay - Bog

- Theoretical and Algorithmic Aspects

af Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo

indgår i Cognitive Technologies serien

Revision, Acceptability and Context af Dov M. Gabbay
Bag om Revision, Acceptability and Context

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642141584
  • Indbinding:
  • Hardback
  • Sideantal:
  • 386
  • Udgivet:
  • 8. august 2010
  • Størrelse:
  • 234x156x22 mm.
  • Vægt:
  • 758 g.
  • 2-3 uger.
  • 14. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Dov M. Gabbay

Vis alle bøger af Dov M. Gabbay

Beskrivelse af Revision, Acceptability and Context

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.

Brugerbedømmelser af Revision, Acceptability and Context



Andre købte også..
Find lignende bøger
Bogen Revision, Acceptability and Context findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.