Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 9789400700796
Price: 162.44 EUR
Availability: InStock

Logic at the Crossroads

Autor: Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem

Jazyk:

Väzba: Pevná

Vydavateľ: Springer

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 11-15 dní

162.44 €

This overview of modern logic and its relationship with other disciplines includes several articles...

Informácie o knihe

Autor

Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2011

Stránok

372

EAN

9789400700796

ISBN

9400700792

Enbook ID

05322970

Vydavateľ

Springer

Hmotnosť

734

Rozmery

246 x 160 x 27

Kompletný popis

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.§

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof, Computation and Agency

Logic at the Crossroads

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež