Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Celý popis
? points 135 b
55.93 €
Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Paracuellos CARLOS GIMENEZ / Kniha Pevná
common.buy 33.54 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Kniha Pevná
common.buy 26.44 €
Las tres puertas Raquel Ortega / Kniha Brožovaná
common.buy 33.54 €
La régression PLS - théorie et pratique Tenenhaus / Kniha Brožovaná
common.buy 69.72 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Kniha Brožovaná
common.buy 25.33 €
Rakkauden oppi Jorma Etto / E-kniha Adobe ePub DRM
common.buy 9.31 €
Theatre Complet Emile Augier / Kniha Brožovaná
common.buy 26.54 €
Lighting Martinez Alonso / Kniha Pevná
common.buy 11.04 €
Reset Eypio / Audio Audio CD
common.buy 11.24 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Hra/Hračka Hračka
common.buy 10.83 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Kniha Brožovaná
common.buy 18.33 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Kniha Brožovaná
common.buy 14.18 €
Noragami. Bd.11 Adachitoka / Kniha Brožovaná
common.buy 8.91 €
Liebesgeschichten neu erzählen Pat Hudson / Kniha Brožovaná
common.buy 21.88 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 9.41 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Kniha Brožovaná
common.buy 117.75 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1993
Počet strán 354
EAN 9783540571841
ISBN 3540571841
Libristo kód 05274334
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1160
Rozmery 216 x 279 x 20

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Matematika a veda > Matematika > Filozofia matematiky
Matematika a veda > Veda: všeobecné témy > Filozofia vedy
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Demography Through Problems Nathan Keyfitz / Kniha Pevná
common.buy 55.93 €
Mirror Mirror Eric J. Burton / Kniha Brožovaná
common.buy 6.07 €
Crystal Growth Technology T. Ohachi / Kniha Pevná
common.buy 294.80 €
Peer-to-Peer Systems II M. Frans Kaashoek / Kniha Brožovaná
common.buy 55.93 €
Pay: God Light Marcia Batiste / Kniha Brožovaná
common.buy 5.87 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Kniha Brožovaná
common.buy 14.89 €
Collection of Antique Asian Puppetry Rick Jordan / Kniha Brožovaná
common.buy 82.79 €
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 14.79 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Kniha Brožovaná
common.buy 16.71 €
Two Cures for Love Wendy Cope / E-kniha Adobe ePub DRM
common.buy 8.91 €
Imagining India as a Global Power Sangit K. Ragi / Kniha Pevná
common.buy 225.08 €
Revolutionary Yiddishland Alain Brossat / Kniha Brožovaná
common.buy 14.79 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Kniha Pevná
common.buy 194.37 €
Research Methods for the Architectural Profession Aksamija / Kniha Brožovaná
common.buy 43.67 €
Phase Transformation and Properties Xun Cai / Kniha Brožovaná
common.buy 67.89 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Kniha Pevná
common.buy 223.46 €
Top
The Laws of Human Nature Robert Greene / Kniha Brožovaná
common.buy 17.62 €
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 37.39 €
Psychology of Great Teaching Casper Hulshof / Kniha Brožovaná
common.buy 39.82 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Kniha Brožovaná
common.buy 9.72 €
Red Mars Kim Stanley Robinson / Kniha Brožovaná
common.buy 14.89 €
Stress Management Monique Joiner Siedlak / Kniha Brožovaná
common.buy 9.82 €
Rose and Witch and Other Stories Mimei Ogawa / Kniha Brožovaná
common.buy 20.26 €
Japan's Aging Peace Tom Phuong Le / Kniha Brožovaná
common.buy 45.09 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?