Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Computational Logic and Proof Theory

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

Sprache EnglischEnglisch
Buch Broschur
Buch Computational Logic and Proof Theory Georg Gottlob
Libristo-Code: 05274334
Verlag 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... Vollständige Beschreibung
? points 125 b
51.69 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Paracuellos CARLOS GIMENEZ / Buch Hardcover
common.buy 33.48 €
Jeremiah - Tome 39 - Rancune Hermann / Buch Hardcover
common.buy 18.00 €
Werksfeuerwehren bei Mercedes-Benz Georg Stefan Hagemann / Buch Hardcover
common.buy 21.04 €
Das Gilgamesch-Epos Sabina Franke / Buch Broschur
common.buy 7.48 €
30 SECONDEN INSTRUMENTS EN DO -PARTITION+PARTIES SEPAREES T. RIAD Buch binding.
common.buy 23.06 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Buch Hardcover
common.buy 25.99 €
Rakkauden oppi Jorma Etto / E-Book Adobe ePub DRM
common.buy 9.40 €
mondo del Medio Evo e noi. Un saggio di filosofia della storia sul senso di un'epoca Paul Ludwig Landsberg / Buch Broschur
common.buy 22.35 €
Dinosauři Vystřihovánka pro začátečníky / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 5.15 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Buch Broschur
common.buy 24.88 €
La régression PLS - théorie et pratique Tenenhaus / Buch Broschur
common.buy 53.51 €
Size Matters Marc Ritter / E-Book Adobe ePub DRM
common.buy 20.83 €
Las tres puertas Raquel Ortega / Buch Broschur
common.buy 35.00 €
Piel de carpa ; Gitanos de México Ruth Campos Cabello / Buch Broschur
common.buy 25.99 €
Geschichte Der Hexenprozesse in Bayern Sigmund Riezler / Buch Broschur
common.buy 32.97 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio Audio CD
common.buy 7.68 €
Jazz Club Klavier Andy Mayerl / Drucksachen Noten
common.buy 20.12 €
Felicidad No Esta En Otra Parte Rafael Salin-Pascual PhD / Buch Broschur
common.buy 27.00 €
Moral als Vertrag? Anton Leist / Buch Hardcover
common.buy 127.58 €
Erwachen Nikolaus Gutenberger / Buch Broschur
common.buy 13.55 €
Tajomstvo kvantového života Frank J. Kinslow / Buch Broschur
common.buy 11.93 €
Colour Land Bilingual Learning / Buch Blatt
common.buy 9.70 €
Demnächst
Kriegsenkel: Endlich ankommen! Ingrid Meyer-Legrand / Buch Hardcover
common.buy 17.19 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Buch Broschur
common.buy 14.05 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1993
Anzahl der Seiten 354
EAN 9783540571841
ISBN 3540571841
Libristo-Code 05274334
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1160
Abmessungen 216 x 279 x 20

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Mathematik und Naturwissenschaften > Mathematik > Philosophie der Mathematik
Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Wissenschaftsphilosophie und -theorie
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Demography Through Problems Nathan Keyfitz / Buch Hardcover
common.buy 51.69 €
Mirror Mirror Eric J. Burton / Buch Broschur
common.buy 6.67 €
Crystal Growth Technology T. Ohachi / Buch Hardcover
common.buy 308.28 €
Peer-to-Peer Systems II M. Frans Kaashoek / Buch Broschur
common.buy 51.69 €
Pay: God Light Marcia Batiste / Buch Broschur
common.buy 6.57 €
Lesson In Seduction (Mills & Boon Vintage 90s Modern) Susan Napier / E-Book Adobe ePub DRM
common.buy 2.22 €
Phase Transformation and Properties Xun Cai / Buch Broschur
common.buy 76.89 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Buch Broschur
common.buy 12.84 €
Collection of Antique Asian Puppetry Rick Jordan / Buch Broschur
common.buy 87.00 €
Confessions: Memoirs of a Modern Seer Cheiro / Buch Broschur
common.buy 40.16 €
Top
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Buch Broschur
common.buy 16.68 €
Time Of The Aces: Marine Pilots in the Solomons, 1942-1944 Peter B Mersky Usnr / Buch Broschur
common.buy 10.82 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Buch Broschur
common.buy 18.40 €
Two Cures for Love Wendy Cope / E-Book Adobe ePub DRM
common.buy 8.49 €
Imagining India as a Global Power Sangit K. Ragi / Buch Hardcover
common.buy 272.56 €
Top
Revolutionary Yiddishland Alain Brossat / Buch Broschur
common.buy 15.77 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Buch Hardcover
common.buy 174.93 €
Marshmallows & Despair David Ossman / Buch Broschur
common.buy 13.85 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Buch Hardcover
common.buy 239.68 €
Top
The Laws of Human Nature Robert Greene / Buch Broschur
common.buy 18.81 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Buch Hardcover
common.buy 41.17 €
Psychology of Great Teaching Casper Hulshof / Buch Broschur
common.buy 66.67 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Buch Broschur
common.buy 10.82 €
Crisis of the Holy Alon Goshen-Gottstein / Buch Broschur
common.buy 20.73 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?