Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
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:
  • 9783642264306
  • Indbinding:
  • Paperback
  • Sideantal:
  • 386
  • Udgivet:
  • 13. oktober 2012
  • Udgave:
  • 2010
  • Størrelse:
  • 235x155x20 mm.
  • Vægt:
  • 605 g.
  • 2-15 hverdage.
  • 10. december 2024

Normalpris

  • BLACK NOVEMBER

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.