Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 9789400700796
Price: 3938 CZK
Availability: InStock

Logic at the Crossroads

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

Jazyk:

Vazba: Pevná

Vydavatel: Springer

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

3 938 Kč

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

Informace o knize

Autor

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

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2011

Stránek

372

EAN

9789400700796

ISBN

9400700792

Enbook ID

05322970

Vydavatel

Springer

Hmotnost

734

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Proof, Computation and Agency

Logic at the Crossroads

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také