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

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computational Logic and Proof Theory Georg Gottlob
Kod Libristo: 05274334
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Cały opis
? points 125 b
219.49 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Paracuellos CARLOS GIMENEZ / Książka Twarda
common.buy 244.04 zł
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Książka Twarda
common.buy 112.16 zł
Las tres puertas Raquel Ortega / Książka Miękka
common.buy 148.37 zł
La régression PLS - théorie et pratique Tenenhaus / Książka Miękka
common.buy 227.24 zł
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Książka Miękka
common.buy 107.33 zł
Rakkauden oppi Jorma Etto / E-book Adobe ePub DRM
common.buy 39.63 zł
Theatre Complet Emile Augier / Książka Miękka
common.buy 118.29 zł
Lighting Martinez Alonso / Książka Twarda
common.buy 49.69 zł
Reset Eypio / Audio CD Audio
common.buy 47.57 zł
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Gra/Zabawka Zabawka
common.buy 45.96 zł
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Książka Miękka
common.buy 81.78 zł
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Książka Miękka
common.buy 52.00 zł
Noragami. Bd.11 Adachitoka / Książka Miękka
common.buy 37.92 zł
Liebesgeschichten neu erzählen Pat Hudson / Książka Miękka
common.buy 92.74 zł
Jazz Club Klavier Andy Mayerl / Prasa Nuty
common.buy 85.70 zł
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio CD Audio
common.buy 40.03 zł
Sponsoring des Golfsports in Deutschland Daniel Gronen / Książka Miękka
common.buy 280.05 zł

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a series of biennial§symposia on logic, theoretical computer science, and§philosophy of mathematics. The aim of this meeting wasto§bring together researchers working in the fields of§computational logic and proof theory. While proof theory§traditionally is a discipline of mathematical logic, the§central activity in computational logic can be foundin§computer science. In both disciplines methods were invented§which arecrucial to one another. This volume contains the§proceedings of the symposium. It contains contributions by§36 authors from 10 different countries. In addition to 10§invited papers there are 26 contributed papers selected from§over 50 submissions.

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 1993
Liczba stron 354
EAN 9783540571841
ISBN 3540571841
Kod Libristo 05274334
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1160
Wymiary 216 x 279 x 20

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
Matematyka i nauki ścisłe > Matematyka > Filozofia matematyki
Matematyka i nauki ścisłe > Nauki ścisłe > Filozofia nauki
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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ć

Demography Through Problems Nathan Keyfitz / Książka Twarda
common.buy 219.49 zł
Mirror Mirror Eric J. Burton / Książka Miękka
common.buy 27.05 zł
Crystal Growth Technology T. Ohachi / Książka Twarda
common.buy 1 309.16 zł
Peer-to-Peer Systems II M. Frans Kaashoek / Książka Miękka
common.buy 219.49 zł
Pay: God Light Marcia Batiste / Książka Miękka
common.buy 26.35 zł
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Książka Miękka
common.buy 66.18 zł
Collection of Antique Asian Puppetry Rick Jordan / Książka Miękka
common.buy 333.47 zł
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Książka Miękka
common.buy 67.09 zł
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Książka Miękka
common.buy 74.43 zł
Two Cures for Love Wendy Cope / E-book Adobe ePub DRM
common.buy 37.71 zł
Imagining India as a Global Power Sangit K. Ragi / Książka Twarda
common.buy 998.42 zł
Revolutionary Yiddishland Alain Brossat / Książka Miękka
common.buy 67.09 zł
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Książka Twarda
common.buy 742.90 zł
Research Methods for the Architectural Profession Aksamija / Książka Miękka
common.buy 185.29 zł
Phase Transformation and Properties Xun Cai / Książka Miękka
common.buy 307.31 zł
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Książka Twarda
common.buy 947.61 zł
TOP
The Laws of Human Nature Robert Greene / Książka Miękka
common.buy 80.06 zł
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Książka Twarda
common.buy 166.58 zł
Psychology of Great Teaching Casper Hulshof / Książka Miękka
common.buy 168.69 zł
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Książka Miękka
common.buy 43.75 zł
Red Mars Kim Stanley Robinson / Książka Miękka
common.buy 63.06 zł
Stress Management Monique Joiner Siedlak / Książka Miękka
common.buy 43.85 zł
Rose and Witch and Other Stories Mimei Ogawa / Książka Miękka
common.buy 90.22 zł
Japan's Aging Peace Tom Phuong Le / Książka Miękka
common.buy 199.07 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?