Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computational Logic and Proof Theory Georg Gottlob
Kod Libristo: 05274735
Wydawnictwo Springer, Berlin, listopad 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.61 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

30 dni na zwrot towaru

Klienci kupili także

Kreda biała Giotto Robercolor 100 sztuk / Artykuły papiernicze Artykuły papiernicze
common.buy 21.95 zł
Radiant 1. Tony Valente / Książka Miękka
common.buy 31.62 zł
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Książka Miękka
common.buy 115.74 zł
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Książka Miękka
common.buy 190.99 zł
Nepodľahnite vojvodovi Anna Bradley / Książka Twarda
common.buy 58.22 zł
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Książka Miękka
common.buy 63.86 zł
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Książka Twarda
common.buy 51.87 zł
Tier-Ornamentik im Norden Sophos Müller / Książka Miękka
common.buy 161.98 zł
Pathohistologie Der Zahne Hermann Euler / Książka Miękka
common.buy 270.27 zł
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Książka Miękka
common.buy 216.48 zł
Inmenso estrecho : cuentos sobre inmigración / Książka Miękka
common.buy 82.50 zł
Kadin Osho (Bhagman Shree Rajneesh) / Książka Miękka
common.buy 85.62 zł
Furchtlos Andreas Adlon / Książka Miękka
common.buy 47.84 zł
Principe de l'utilité et l'utilitarisme John Stuart Mill / Książka Miękka
common.buy 57.31 zł
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Książka Miękka
common.buy 203.28 zł
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Książka Miękka
common.buy 173.86 zł
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio CD Audio
common.buy 216.28 zł
Las Formas de los Viajar Tweedy / Książka Miękka
common.buy 47.44 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 355
EAN 9783540633853
ISBN 3540633855
Kod Libristo 05274735
Wydawnictwo Springer, Berlin
Waga 473
Wymiary 156 x 234 x 19

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

High Performance Computational Science and Engineering Michael K. Ng / Książka Miękka
common.buy 487.26 zł
Why Brains Don't Compute Dale Purves / Książka Miękka
common.buy 400.53 zł
Embracing Your Inner Cheerleader Joan Ellen Gage / Książka Miękka
common.buy 62.95 zł
Pocahontas Erin Edison / Książka Twarda
common.buy 41.09 zł
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Książka Miękka
common.buy 30.61 zł
Godbuster: Banishes all known gods Elliot George / Książka Miękka
common.buy 69.40 zł
Blaise de Monluc A. W. Evans / Książka Miękka
common.buy 80.68 zł
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Książka Twarda
common.buy 126.62 zł
Business Finance Eddie McLaney / Książka Miękka
common.buy 445.56 zł
Global Communication and Collaboration Klaus-Dieter Gronwald / Książka Twarda
common.buy 270.27 zł
Classic Horror Stories David Stuart Davies / Książka Twarda
common.buy 44.52 zł
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Książka Miękka
common.buy 58.42 zł
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Książka Miękka
common.buy 72.92 zł
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Książka Miękka
common.buy 487.26 zł
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Książka Miękka
common.buy 39.08 zł
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Książka Miękka
common.buy 216.48 zł
Modern Art J.-.K. Huysmans / E-book Adobe ePub DRM
common.buy 59.43 zł
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Książka Twarda
common.buy 67.18 zł
Social Demography of South Africa Clifford O. Odimegwu / Książka Miękka
common.buy 271.48 zł
Degas at the Opera LOYRETTE HENRI / Książka Twarda
common.buy 202.17 zł
Interactive Morphonology Martin Maiden / Książka Miękka
common.buy 249.32 zł
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Książka Miękka
common.buy 56.60 zł
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Książka Twarda
common.buy 33.23 zł
Jung Casement / Książka Miękka
common.buy 207.61 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?