Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computational Logic and Proof Theory

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computational Logic and Proof Theory Georg Gottlob
Libristo kód: 05274334
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Paracuellos CARLOS GIMENEZ / Kniha Pevná
common.buy 1 334 Kč
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Kniha Pevná
common.buy 639 Kč
Las tres puertas Raquel Ortega / Kniha Brožovaná
common.buy 811 Kč
La régression PLS - théorie et pratique Tenenhaus / Kniha Brožovaná
common.buy 1 218 Kč
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Kniha Brožovaná
common.buy 611 Kč
Rakkauden oppi Jorma Etto / E-kniha Adobe ePub DRM
common.buy 226 Kč
Theatre Complet Emile Augier / Kniha Brožovaná
common.buy 641 Kč
Lighting Martinez Alonso / Kniha Pevná
common.buy 259 Kč
Reset Eypio / Audio Audio CD
common.buy 258 Kč
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Hra/Hračka Hračka
common.buy 262 Kč
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Kniha Brožovaná
common.buy 442 Kč
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Kniha Brožovaná
common.buy 342 Kč
Noragami. Bd.11 Adachitoka / Kniha Brožovaná
common.buy 216 Kč
Liebesgeschichten neu erzählen Pat Hudson / Kniha Brožovaná
common.buy 528 Kč
Jazz Club Klavier Andy Mayerl / Tiskovina Noty
common.buy 457 Kč
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 228 Kč
Sponsoring des Golfsports in Deutschland Daniel Gronen / Kniha Brožovaná
common.buy 1 502 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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í 1993
Počet stran 354
EAN 9783540571841
ISBN 3540571841
Libristo kód 05274334
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1160
Rozměry 216 x 279 x 20

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
Matematika a věda > Matematika > Filozofie matematiky
Matematika a věda > Věda: obecná témata > Filozofie vědy
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
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

Mohlo by vás také zajímat

Demography Through Problems Nathan Keyfitz / Kniha Pevná
common.buy 1 182 Kč
Mirror Mirror Eric J. Burton / Kniha Brožovaná
common.buy 146 Kč
Crystal Growth Technology T. Ohachi / Kniha Pevná
common.buy 7 120 Kč
Peer-to-Peer Systems II M. Frans Kaashoek / Kniha Brožovaná
common.buy 1 182 Kč
Pay: God Light Marcia Batiste / Kniha Brožovaná
common.buy 142 Kč
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Kniha Brožovaná
common.buy 359 Kč
Collection of Antique Asian Puppetry Rick Jordan / Kniha Brožovaná
common.buy 1 899 Kč
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Kniha Brožovaná
common.buy 334 Kč
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Kniha Brožovaná
common.buy 403 Kč
Two Cures for Love Wendy Cope / E-kniha Adobe ePub DRM
common.buy 215 Kč
Imagining India as a Global Power Sangit K. Ragi / Kniha Pevná
common.buy 5 435 Kč
Revolutionary Yiddishland Alain Brossat / Kniha Brožovaná
common.buy 334 Kč
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Kniha Pevná
common.buy 4 002 Kč
Research Methods for the Architectural Profession Aksamija / Kniha Brožovaná
common.buy 1 002 Kč
Phase Transformation and Properties Xun Cai / Kniha Brožovaná
common.buy 1 641 Kč
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Kniha Pevná
common.buy 5 127 Kč
Top
The Laws of Human Nature Robert Greene / Kniha Brožovaná
common.buy 424 Kč
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Kniha Pevná
common.buy 903 Kč
Psychology of Great Teaching Casper Hulshof / Kniha Brožovaná
common.buy 882 Kč
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Kniha Brožovaná
common.buy 236 Kč
Red Mars Kim Stanley Robinson / Kniha Brožovaná
common.buy 334 Kč
Stress Management Monique Joiner Siedlak / Kniha Brožovaná
common.buy 237 Kč
Rose and Witch and Other Stories Mimei Ogawa / Kniha Brožovaná
common.buy 489 Kč
Japan's Aging Peace Tom Phuong Le / Kniha Brožovaná
common.buy 1 088 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?