Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computational Logic and Proof Theory

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computational Logic and Proof Theory Georg Gottlob
Libristo-code: 05274334
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Paracuellos CARLOS GIMENEZ / Boek Gebonden (harde band)
common.buy 59.66 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Boek Gebonden (harde band)
common.buy 26.34 €
Las tres puertas Raquel Ortega / Boek Gebonden (paperback)
common.buy 36.24 €
La régression PLS - théorie et pratique Tenenhaus / Boek Gebonden (paperback)
common.buy 53.40 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Boek Gebonden (paperback)
common.buy 25.23 €
Rakkauden oppi Jorma Etto / E-book Adobe ePub DRM
common.buy 9.28 €
Theatre Complet Emile Augier / Boek Gebonden (paperback)
common.buy 27.76 €
Lighting Martinez Alonso / Boek Gebonden (harde band)
common.buy 12.41 €
Reset Eypio / Audio Audio cd
common.buy 11.20 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Spel/speelgoed Speelgoed
common.buy 11.40 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Boek Gebonden (paperback)
common.buy 19.17 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Boek Gebonden (paperback)
common.buy 14.13 €
Noragami. Bd.11 Adachitoka / Boek Gebonden (paperback)
common.buy 9.38 €
Liebesgeschichten neu erzählen Pat Hudson / Boek Gebonden (paperback)
common.buy 22.81 €
Jazz Club Klavier Andy Mayerl / Drukwerk Bladmuziek
common.buy 20.08 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio cd
common.buy 9.88 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Boek Gebonden (paperback)
common.buy 65.82 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computational Logic and Proof Theory
Auteur Georg Gottlob, Alexander Leitsch, Daniele Mundici
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1993
Aantal pagina's 354
EAN 9783540571841
ISBN 3540571841
Libristo-code 05274334
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1160
Afmetingen 216 x 279 x 20

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Wiskunde en wetenschap > Wiskunde > Filosofie van de wiskunde
Wiskunde en wetenschap > Wetenschap: algemene onderwerpen > Wetenschapsfilosofie
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Demography Through Problems Nathan Keyfitz / Boek Gebonden (harde band)
common.buy 51.59 €
Mirror Mirror Eric J. Burton / Boek Gebonden (paperback)
common.buy 6.35 €
Crystal Growth Technology T. Ohachi / Boek Gebonden (harde band)
common.buy 321.48 €
Peer-to-Peer Systems II M. Frans Kaashoek / Boek Gebonden (paperback)
common.buy 51.59 €
Pay: God Light Marcia Batiste / Boek Gebonden (paperback)
common.buy 6.15 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Boek Gebonden (paperback)
common.buy 15.54 €
Collection of Antique Asian Puppetry Rick Jordan / Boek Gebonden (paperback)
common.buy 86.62 €
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Boek Gebonden (paperback)
common.buy 15.74 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Boek Gebonden (paperback)
common.buy 17.46 €
Two Cures for Love Wendy Cope / E-book Adobe ePub DRM
common.buy 8.88 €
Imagining India as a Global Power Sangit K. Ragi / Boek Gebonden (harde band)
common.buy 234.54 €
Revolutionary Yiddishland Alain Brossat / Boek Gebonden (paperback)
common.buy 15.74 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Boek Gebonden (harde band)
common.buy 174.57 €
Research Methods for the Architectural Profession Aksamija / Boek Gebonden (paperback)
common.buy 45.73 €
Phase Transformation and Properties Xun Cai / Boek Gebonden (paperback)
common.buy 72.18 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Boek Gebonden (harde band)
common.buy 233.73 €
TOP
The Laws of Human Nature Robert Greene / Boek Gebonden (paperback)
common.buy 18.77 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Boek Gebonden (harde band)
common.buy 39.17 €
Psychology of Great Teaching Casper Hulshof / Boek Gebonden (paperback)
common.buy 41.69 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Boek Gebonden (paperback)
common.buy 10.29 €
Red Mars Kim Stanley Robinson / Boek Gebonden (paperback)
common.buy 14.83 €
Stress Management Monique Joiner Siedlak / Boek Gebonden (paperback)
common.buy 10.29 €
Rose and Witch and Other Stories Mimei Ogawa / Boek Gebonden (paperback)
common.buy 21.19 €
Japan's Aging Peace Tom Phuong Le / Boek Gebonden (paperback)
common.buy 46.74 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?