phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Computational Logic and Proof Theory

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 147 b
252.27 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 10-14 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Lord of the Rings Instrumental Solos / Miękka
common.buy 64.44 zł
FunKey Mathematics Card Game: Top 10 Detlef Wortmann / Miękka
common.buy 43.83 zł
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Miękka
common.buy 186.81 zł
Business Finance Eddie McLaney / Miękka
common.buy 410.33 zł
Augustine Benedict Groeschel / Miękka
common.buy 85.35 zł
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Miękka
common.buy 192.44 zł
Principe de l'utilité et l'utilitarisme John Stuart Mill / Miękka
common.buy 58.61 zł
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift R. Loren Sandford / Miękka
common.buy 80.23 zł
Killed in the Open. a Novel. Mary E Kennard / Miękka
common.buy 116.53 zł
Ritual Violence and the Maternal in the British Novel, 1740-1820 Raymond F. Hilliard / Twarda
common.buy 599.36 zł
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Twarda
common.buy 129.70 zł
Visceral Pain Maria Adele Giamberardino / Miękka
common.buy 263.22 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.

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

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