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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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ů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Paracuellos CARLOS GIMENEZ / Kniha Pevná
common.buy 809 Kč
Jeremiah - Tome 39 - Rancune Hermann / Kniha Pevná
common.buy 420 Kč
Werksfeuerwehren bei Mercedes-Benz Georg Stefan Hagemann / Kniha Pevná
common.buy 478 Kč
Das Gilgamesch-Epos Sabina Franke / Kniha Brožovaná
common.buy 181 Kč
30 SECONDEN INSTRUMENTS EN DO -PARTITION+PARTIES SEPAREES T. RIAD Kniha binding.
common.buy 543 Kč
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Kniha Pevná
common.buy 616 Kč
Rakkauden oppi Jorma Etto / E-kniha Adobe ePub DRM
common.buy 228 Kč
mondo del Medio Evo e noi. Un saggio di filosofia della storia sul senso di un'epoca Paul Ludwig Landsberg / Kniha Brožovaná
common.buy 542 Kč
Dinosauři Vystřihovánka pro začátečníky / Papírenské zboží Papírenské zboží
common.buy 119 Kč
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Kniha Brožovaná
common.buy 588 Kč
La régression PLS - théorie et pratique Tenenhaus / Kniha Brožovaná
common.buy 1 218 Kč
Size Matters Marc Ritter / E-kniha Adobe ePub DRM
common.buy 505 Kč
Las tres puertas Raquel Ortega / Kniha Brožovaná
common.buy 540 Kč
Piel de carpa ; Gitanos de México Ruth Campos Cabello / Kniha Brožovaná
common.buy 629 Kč
Geschichte Der Hexenprozesse in Bayern Sigmund Riezler / Kniha Brožovaná
common.buy 752 Kč
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 177 Kč
Jazz Club Klavier Andy Mayerl / Tiskovina Noty
common.buy 456 Kč
Felicidad No Esta En Otra Parte Rafael Salin-Pascual PhD / Kniha Brožovaná
common.buy 595 Kč
Moral als Vertrag? Anton Leist / Kniha Pevná
common.buy 2 724 Kč
Erwachen Nikolaus Gutenberger / Kniha Brožovaná
common.buy 308 Kč
Tajomstvo kvantového života Frank J. Kinslow / Kniha Brožovaná
common.buy 261 Kč
Colour Land Bilingual Learning / Kniha List
common.buy 224 Kč
Připravujeme
Kriegsenkel: Endlich ankommen! Ingrid Meyer-Legrand / Kniha Pevná
common.buy 390 Kč
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Kniha Brožovaná
common.buy 336 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 234 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č
Lesson In Seduction (Mills & Boon Vintage 90s Modern) Susan Napier / E-kniha Adobe ePub DRM
common.buy 55 Kč
Phase Transformation and Properties Xun Cai / Kniha Brožovaná
common.buy 1 641 Kč
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Kniha Brožovaná
common.buy 275 Kč
Collection of Antique Asian Puppetry Rick Jordan / Kniha Brožovaná
common.buy 1 817 Kč
Confessions: Memoirs of a Modern Seer Cheiro / Kniha Brožovaná
common.buy 881 Kč
Top
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č
Time Of The Aces: Marine Pilots in the Solomons, 1942-1944 Peter B Mersky Usnr / Kniha Brožovaná
common.buy 236 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 206 Kč
Imagining India as a Global Power Sangit K. Ragi / Kniha Pevná
common.buy 6 035 Kč
Top
Revolutionary Yiddishland Alain Brossat / Kniha Brožovaná
common.buy 336 Kč
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Kniha Pevná
common.buy 4 002 Kč
Marshmallows & Despair David Ossman / Kniha Brožovaná
common.buy 299 Kč
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Kniha Pevná
common.buy 5 509 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 1 475 Kč
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Kniha Brožovaná
common.buy 236 Kč
Crisis of the Holy Alon Goshen-Gottstein / Kniha Brožovaná
common.buy 442 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?