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 Kurier 12.99 zł Punkt DPD 11.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 125 b
221.79 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kreda biała Giotto Robercolor 100 sztuk / Artykuły papiernicze Artykuły papiernicze
common.buy 22.15 zł
Inmenso estrecho : cuentos sobre inmigración / Książka Miękka
common.buy 83.34 zł
F&E Controling in Theorie und Praxis Christian Kunert / Książka Miękka
common.buy 73.28 zł
Radiant 1. Tony Valente / Książka Miękka
common.buy 31.91 zł
Braunschweiger Land Fritz J. Krüger / Książka Miękka
common.buy 118.72 zł
Nepodľahnite vojvodovi Anna Bradley / Książka Twarda
common.buy 63.01 zł
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Książka Miękka
common.buy 242.73 zł
Talibin fighter Abu Al -Faraj Al -Isfahani / E-book Adobe ePub DRM
common.buy 85.17 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 52.54 zł
Pack Dolmen: Superoso y su amigo. Vol. 1 y 2 MIKE KUNKEL / Książka Miękka
common.buy 97.07 zł
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio CD Audio
common.buy 218.44 zł
Geschichte der Malerei im XIX Richard Muther / Książka Miękka
common.buy 127.97 zł
Brother for Rent 04 Monika Hammond / Książka Miękka
common.buy 27.84 zł
Las Formas de los Viajar Tweedy / Książka Miękka
common.buy 47.87 zł
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Książka Miękka
common.buy 191.09 zł
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Książka Miękka
common.buy 153.07 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 442.17 zł
Why Brains Don't Compute Dale Purves / Książka Miękka
common.buy 346.11 zł
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Książka Twarda
common.buy 67.79 zł
Social Demography of South Africa Clifford O. Odimegwu / Książka Miękka
common.buy 287.25 zł
Napoleon Hill's Timeless Thoughts for Today Napoleon Hill / Książka Miękka
common.buy 83.34 zł
TOP
Paul Gauguin's Intimate Journals Paul Gaugin / Książka Twarda
common.buy 99.30 zł
Introductory Computer Forensics Xiaodong Lin / Książka Twarda
common.buy 518.81 zł
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Książka Miękka
common.buy 191.09 zł
Embracing Your Inner Cheerleader Joan Ellen Gage / Książka Miękka
common.buy 63.52 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.89 zł
Godbuster: Banishes all known gods Elliot George / Książka Miękka
common.buy 70.03 zł
Blaise de Monluc A. W. Evans / Książka Miękka
common.buy 81.41 zł
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Książka Twarda
common.buy 127.76 zł
Business Finance Eddie McLaney / Książka Miękka
common.buy 345.80 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.95 zł
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Książka Miękka
common.buy 73.58 zł
Animal Places Jacob Bull / E-book Adobe ePub DRM
common.buy 285.32 zł
Nowość
Ethics, Law and Health Care Shih-Ning Then / Książka Miękka
common.buy 370.81 zł
Beware the Villainess!, Vol. 4 V04 / Książka Miękka
common.buy 67.79 zł
TOP
The TKT Course Young Learners Module Kate Gregson / Książka Miękka
common.buy 122.99 zł
The Recipe: Living Life with Ease Ramdas Ormond / Książka Miękka
common.buy 58.23 zł
Classic Horror Stories David Stuart Davies / Książka Twarda
common.buy 44.92 zł
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Książka Miękka
common.buy 34.45 zł
TOP
Sherlock Bones and the Horror of the Haunted Castle Tim Collins / Książka Miękka
common.buy 29.27 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?