Udsalget slutter om
Udvidet returret til d. 31. januar 2025

Proof, Computation and Agency - Bog

- Logic at the Crossroads

Bag om Proof, Computation and Agency

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789400735811
  • Indbinding:
  • Paperback
  • Sideantal:
  • 372
  • Udgivet:
  • 28. maj 2013
  • Udgave:
  • 2011
  • Størrelse:
  • 234x156x20 mm.
  • Vægt:
  • 605 g.
  • 8-11 hverdage.
  • 12. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK FRIDAY
    : :

Medlemspris

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

Beskrivelse af Proof, Computation and Agency

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.

Brugerbedømmelser af Proof, Computation and Agency



Find lignende bøger
Bogen Proof, Computation and Agency 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.