Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.712,95 kr.

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:
9789400700796

Forlag:
Springer

Indbinding:
Hardback

Sideantal:
372

Udgivet:
7. april 2011

Størrelse:
160x246x27 mm.

Vægt:
734 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. december 2024

Forlænget returret til d. 31. januar 2025

Normalpris

1.712,95 kr. + Fragt
~~1.712,95 kr.~~

Abonnementspris

1.708,95 kr.

- 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.

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

Andre købte også..

Find lignende bøger

Bogen Proof, Computation and Agency findes i følgende kategorier: