Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Grāmatas - Springer - 9789400700796 - 2011. gada 7. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Proof, Computation and Agency: Logic at the Crossroads - Synthese Library

Cena
€ 181,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 9. - 23. okt.
Saņemiet paziņojumus par jauniem Johan Van Benthem izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.


400 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2011. gada 7. aprīlis
ISBN13 9789400700796
Izdevēji Springer
Lapas 372
Izmēri 246 × 160 × 27 mm   ·   725 g
Redaktors Gupta, Amitabha
Redaktors Parikh, Rohit
Redaktors Van Benthem, Johan

Vairāk no Johan Van Benthem

Rādīt visu

Vairāk no tā paša izdevēja