Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computational Logic and Proof Theory

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computational Logic and Proof Theory Georg Gottlob
Libristo kod: 05274334
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Cijeli opis
? points 125 b
51.73 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Paracuellos CARLOS GIMENEZ / Knjiga Tvrdi uvez
common.buy 55.18 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Knjiga Tvrdi uvez
common.buy 25.31 €
Las tres puertas Raquel Ortega / Knjiga Meki uvez
common.buy 33.51 €
La régression PLS - théorie et pratique Tenenhaus / Knjiga Meki uvez
common.buy 53.56 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Knjiga Meki uvez
common.buy 24.19 €
Rakkauden oppi Jorma Etto / E-knjiga Adobe ePub DRM
common.buy 8.90 €
Theatre Complet Emile Augier / Knjiga Meki uvez
common.buy 27.84 €
Lighting Martinez Alonso / Knjiga Tvrdi uvez
common.buy 11.03 €
Reset Eypio / Audio Audio CD
common.buy 11.23 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Igra/Igračka Igračka
common.buy 10.22 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Knjiga Meki uvez
common.buy 19.23 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Knjiga Meki uvez
common.buy 13.56 €
Noragami. Bd.11 Adachitoka / Knjiga Meki uvez
common.buy 8.39 €
Liebesgeschichten neu erzählen Pat Hudson / Knjiga Meki uvez
common.buy 20.75 €
Jazz Club Klavier Andy Mayerl / Tiskanica Note
common.buy 20.14 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 9.00 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Knjiga Meki uvez
common.buy 66.01 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1993
Broj stranica 354
EAN 9783540571841
ISBN 3540571841
Libristo kod 05274334
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1160
Dimenzije 216 x 279 x 20

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Demography Through Problems Nathan Keyfitz / Knjiga Tvrdi uvez
common.buy 51.73 €
Mirror Mirror Eric J. Burton / Knjiga Meki uvez
common.buy 6.37 €
Crystal Growth Technology T. Ohachi / Knjiga Tvrdi uvez
common.buy 294.56 €
Peer-to-Peer Systems II M. Frans Kaashoek / Knjiga Meki uvez
common.buy 51.73 €
Pay: God Light Marcia Batiste / Knjiga Meki uvez
common.buy 6.17 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Knjiga Meki uvez
common.buy 15.58 €
Collection of Antique Asian Puppetry Rick Jordan / Knjiga Meki uvez
common.buy 82.72 €
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Knjiga Meki uvez
common.buy 15.79 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Knjiga Meki uvez
common.buy 17.51 €
Two Cures for Love Wendy Cope / E-knjiga Adobe ePub DRM
common.buy 8.39 €
Imagining India as a Global Power Sangit K. Ragi / Knjiga Tvrdi uvez
common.buy 235.22 €
Revolutionary Yiddishland Alain Brossat / Knjiga Meki uvez
common.buy 15.79 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Knjiga Tvrdi uvez
common.buy 175.07 €
Research Methods for the Architectural Profession Aksamija / Knjiga Meki uvez
common.buy 43.63 €
Phase Transformation and Properties Xun Cai / Knjiga Meki uvez
common.buy 72.39 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Knjiga Tvrdi uvez
common.buy 223.27 €
Top
The Laws of Human Nature Robert Greene / Knjiga Meki uvez
common.buy 18.82 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Knjiga Tvrdi uvez
common.buy 39.28 €
Psychology of Great Teaching Casper Hulshof / Knjiga Meki uvez
common.buy 39.79 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Knjiga Meki uvez
common.buy 10.32 €
Red Mars Kim Stanley Robinson / Knjiga Meki uvez
common.buy 14.88 €
Stress Management Monique Joiner Siedlak / Knjiga Meki uvez
common.buy 10.32 €
Rose and Witch and Other Stories Mimei Ogawa / Knjiga Meki uvez
common.buy 21.25 €
Japan's Aging Peace Tom Phuong Le / Knjiga Meki uvez
common.buy 46.87 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?