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

Proof, Computation and Agency

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Proof, Computation and Agency Amitabha Gupta
Libristo kód: 05322970
Nakladatelství Springer, dubna 2011
This overview of modern logic and its relationship with other disciplines includes several articles... Celý popis
? points 509 b
5 094 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Musical Hans-Günther Kölz / Noty
common.buy 341 Kč
Malleus Maleficarum, das ist Heinrich Institoris / Brožovaná
common.buy 1 111 Kč
Winter in Liechtenstein. Bd.2 Jens Dittmar / Pevná
common.buy 404 Kč
Mendelssohn Bartholdy, Felix - Variations sérieuses op. 54 Felix Mendelssohn Bartholdy / Noty
common.buy 280 Kč
EU as global actor and its influence on the global gender regime Stefanie Kessler / Brožovaná
common.buy 1 518 Kč
Proceedings Of The 12th Asian Logic Conference Jorg Brendle / Pevná
common.buy 4 207 Kč
Ask Wendy Wendy Williams / Brožovaná
common.buy 363 Kč
Zweiachsige Nachformeinrichtungen G. Augsten / Brožovaná
common.buy 1 830 Kč
Marihuana and Medicine Stig Agurell / Pevná
common.buy 6 578 Kč
Schriften. Band 4 Carl Wilhelm Salice Contessa / Pevná
common.buy 4 773 Kč
Water trips : Itinerari acquatici ai tempi della crisi idrica Lorenzo Monaco / Brožovaná
common.buy 479 Kč
Tubby Meets Katrina Tony Dunbar / Pevná
common.buy 589 Kč
Preliminary Studies / Noty
common.buy 239 Kč
Sword Empire Robert Leader / Brožovaná
common.buy 369 Kč
Montagestrukturplanung Fur Variantenreiche Serienprodukte Ulrich Zeile / Brožovaná
common.buy 1 830 Kč
Transgenerational Entrepreneurship - Exploring Growth and Performance in Family Firms Across Generations / Pevná
common.buy 2 990 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 Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2011
Počet stran 372
EAN 9789400700796
ISBN 9400700792
Libristo kód 05322970
Nakladatelství Springer
Váha 734
Rozměry 246 x 160 x 27

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: logika
Filozofie a náboženství > Filozofie > Historie filozofie, filozofické tradice
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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