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

Computational Logic and Proof Theory

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computational Logic and Proof Theory Georg Gottlob
Libristo kód: 05274735
Nakladatelství Springer, Berlin, listopadu 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Celý popis
? points 168 b
1 681 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

Lord of the Rings Instrumental Solos / Brožovaná
common.buy 670 Kč
FunKey Mathematics Card Game: Top 10 Detlef Wortmann / Brožovaná
common.buy 274 Kč
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Brožovaná
common.buy 1 255 Kč
Augustine Benedict Groeschel / Brožovaná
common.buy 567 Kč
Business Finance Eddie McLaney / Brožovaná
common.buy 2 620 Kč
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Brožovaná
common.buy 1 232 Kč
Principe de l'utilité et l'utilitarisme John Stuart Mill / Brožovaná
common.buy 395 Kč
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift R. Loren Sandford / Brožovaná
common.buy 540 Kč
Killed in the Open. a Novel. Mary E Kennard / Brožovaná
common.buy 718 Kč
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Pevná
common.buy 870 Kč
Ritual Violence and the Maternal in the British Novel, 1740-1820 Raymond F. Hilliard / Pevná
common.buy 3 760 Kč
Visceral Pain Maria Adele Giamberardino / Brožovaná
common.buy 1 536 Kč

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Informace o knize

Plný název Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 355
EAN 9783540633853
ISBN 3540633855
Libristo kód 05274735
Nakladatelství Springer, Berlin
Váha 473
Rozměry 156 x 234 x 19

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
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ů
Výpočetní a informační technologie > Informatika > Umělá inteligence
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