phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Proof, Computation and Agency

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Proof, Computation and Agency Johan Van Benthem
Libristo kód: 05323054
Nakladatelství Springer, května 2013
This overview of modern logic and its relationship with other disciplines includes several articles... Celý popis
? points 446 b
4 463 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

From the Depths MIKE ED ASHLEY / Brožovaná
common.buy 258 Kč
Mask of Masculinity Lewis Howes / Pevná
common.buy 488 Kč
Theory of Logical Calculi Ryszard Wójcicki / Brožovaná
common.buy 8 622 Kč
Raising Children in Love, Justice and Truth Barry Long / Brožovaná
common.buy 441 Kč
Nelson Mathematics 7 Student Book Marian Small / Brožovaná
common.buy 2 436 Kč
Parietal Cortex of Monkey and Man Juhani Hyvarinen / Brožovaná
common.buy 2 902 Kč
To Speak is Never Neutral Luce Irigaray / Pevná
common.buy 7 137 Kč
Computational Logic in Multi-Agent Systems Nils Bulling / Brožovaná
common.buy 1 472 Kč
Handbook of Philosophical Logic Dov M. Gabbay / Brožovaná
common.buy 4 463 Kč
Les Conflits Humains-Faune En Afrique Food and Agriculture Organization of the United Nations / Brožovaná
common.buy 933 Kč
No Go Zones: How Sharia Law Is Spreading in America Raheem Kassam / Digital
common.buy 449 Kč
Computational Intelligence in Multimedia Processing: Recent Advances Aboul-Ella Hassanien / Pevná
common.buy 7 322 Kč
Set Theory for Computing Domenico Cantone / Brožovaná
common.buy 4 463 Kč
Computational Semantics with Functional Programming Jan van EijckChristina Unger / Pevná
common.buy 4 130 Kč
Nabucco. Nabucodonosor Giuseppe Verdi / Brožovaná
common.buy 146 Kč
Multi-Agent Programming Rafael H. Bordini / Pevná
common.buy 4 463 Kč

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

Informace o knize

Plný název Proof, Computation and Agency
Autor Johan Van Benthem, Amitabha Gupta, Rohit Parikh
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 372
EAN 9789400735811
ISBN 9400735812
Libristo kód 05323054
Nakladatelství Springer
Váha 605
Rozměry 157 x 22 x 21

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Filozofie a náboženství > Filozofie > Historie filozofie, filozofické tradice > Východoasijská a indická filozofie
Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: epistemologie a teorie poznání
Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet