Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computational Logic and Proof Theory

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

Limba englezăengleză
Carte Carte broșată
Carte Computational Logic and Proof Theory Georg Gottlob
Codul Libristo: 05274334
Editura 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... Descrierea completă
? points 141 b
306.29 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Paracuellos CARLOS GIMENEZ / Carte Copertă tare
common.buy 185.43 lei
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Carte Copertă tare
common.buy 138.42 lei
Las tres puertas Raquel Ortega / Carte Carte broșată
common.buy 183.04 lei
La régression PLS - théorie et pratique Tenenhaus / Carte Carte broșată
common.buy 403.95 lei
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Carte Carte broșată
common.buy 132.29 lei
Rakkauden oppi Jorma Etto / E-book Adobe ePub DRM
common.buy 48.98 lei
Theatre Complet Emile Augier / Carte Carte broșată
common.buy 152.88 lei
Lighting Martinez Alonso / Carte Copertă tare
common.buy 61.25 lei
Reset Eypio / Audio Audio CD
common.buy 61.25 lei
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Joc / Jucărie Jucărie
common.buy 56.78 lei
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Carte Carte broșată
common.buy 105.87 lei
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Carte Carte broșată
common.buy 74.04 lei
Noragami. Bd.11 Adachitoka / Carte Carte broșată
common.buy 46.79 lei
Liebesgeschichten neu erzählen Pat Hudson / Carte Carte broșată
common.buy 114.40 lei
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 49.39 lei
Sponsoring des Golfsports in Deutschland Daniel Gronen / Carte Carte broșată
common.buy 615.71 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 354
EAN 9783540571841
ISBN 3540571841
Codul Libristo 05274334
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1160
Dimensiuni 216 x 279 x 20

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Philosophy of mathematics
Mathematics & Science > Science: general issues > Philosophy of science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Demography Through Problems Nathan Keyfitz / Carte Copertă tare
common.buy 306.29 lei
Mirror Mirror Eric J. Burton / Carte Carte broșată
common.buy 35.04 lei
Crystal Growth Technology T. Ohachi / Carte Copertă tare
common.buy 1 614.91 lei
Peer-to-Peer Systems II M. Frans Kaashoek / Carte Carte broșată
common.buy 306.29 lei
Pay: God Light Marcia Batiste / Carte Carte broșată
common.buy 34.21 lei
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Carte Carte broșată
common.buy 85.59 lei
Collection of Antique Asian Puppetry Rick Jordan / Carte Carte broșată
common.buy 432.97 lei
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Carte Carte broșată
common.buy 87.67 lei
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Carte Carte broșată
common.buy 96.61 lei
Two Cures for Love Wendy Cope / E-book Adobe ePub DRM
common.buy 46.58 lei
Imagining India as a Global Power Sangit K. Ragi / Carte Copertă tare
common.buy 1 286.14 lei
Revolutionary Yiddishland Alain Brossat / Carte Carte broșată
common.buy 87.67 lei
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Carte Copertă tare
common.buy 1 016.87 lei
Research Methods for the Architectural Profession Aksamija / Carte Carte broșată
common.buy 239.93 lei
Phase Transformation and Properties Xun Cai / Carte Carte broșată
common.buy 402.81 lei
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Carte Copertă tare
common.buy 1 227.37 lei
Top
The Laws of Human Nature Robert Greene / Carte Carte broșată
common.buy 105.87 lei
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Carte Copertă tare
common.buy 215.49 lei
Psychology of Great Teaching Casper Hulshof / Carte Carte broșată
common.buy 219.13 lei
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Carte Carte broșată
common.buy 56.78 lei
Red Mars Kim Stanley Robinson / Carte Carte broșată
common.buy 83.40 lei
Stress Management Monique Joiner Siedlak / Carte Carte broșată
common.buy 56.99 lei
Rose and Witch and Other Stories Mimei Ogawa / Carte Carte broșată
common.buy 116.69 lei
Japan's Aging Peace Tom Phuong Le / Carte Carte broșată
common.buy 255.53 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?