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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computational Logic and Proof Theory Georg Gottlob
Libristo-Code: 05274735
Verlag Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Vollständige Beschreibung
? points 141 b
57.79 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Kreda biała Giotto Robercolor 100 sztuk / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 6.59 €
Radiant 1. Tony Valente / Buch Broschur
common.buy 7.79 €
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Buch Broschur
common.buy 28.09 €
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Buch Broschur
common.buy 46.69 €
Nepodľahnite vojvodovi Anna Bradley / Buch Hardcover
common.buy 14.39 €
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Buch Broschur
common.buy 17.99 €
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Buch Hardcover
common.buy 12.69 €
Tier-Ornamentik im Norden Sophos Müller / Buch Broschur
common.buy 44.19 €
Pathohistologie Der Zahne Hermann Euler / Buch Broschur
common.buy 62.79 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Buch Broschur
common.buy 52.89 €
Inmenso estrecho : cuentos sobre inmigración / Buch Broschur
common.buy 20.09 €
Kadin Osho (Bhagman Shree Rajneesh) / Buch Broschur
common.buy 20.99 €
Furchtlos Andreas Adlon / Buch Broschur
common.buy 11.69 €
Principe de l'utilité et l'utilitarisme John Stuart Mill / Buch Broschur
common.buy 13.99 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Buch Broschur
common.buy 47.19 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Buch Broschur
common.buy 42.49 €
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio CD
common.buy 52.19 €
Las Formas de los Viajar Tweedy / Buch Broschur
common.buy 11.59 €

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

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 1997
Anzahl der Seiten 355
EAN 9783540633853
ISBN 3540633855
Libristo-Code 05274735
Verlag Springer, Berlin
Gewicht 473
Abmessungen 156 x 234 x 19

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

High Performance Computational Science and Engineering Michael K. Ng / Buch Broschur
common.buy 113.19 €
Why Brains Don't Compute Dale Purves / Buch Broschur
common.buy 93.09 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Buch Broschur
common.buy 15.39 €
Pocahontas Erin Edison / Buch Hardcover
common.buy 10.09 €
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Buch Broschur
common.buy 7.49 €
Godbuster: Banishes all known gods Elliot George / Buch Broschur
common.buy 16.99 €
Blaise de Monluc A. W. Evans / Buch Broschur
common.buy 19.69 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Buch Hardcover
common.buy 30.79 €
Business Finance Eddie McLaney / Buch Broschur
common.buy 108.39 €
Global Communication and Collaboration Klaus-Dieter Gronwald / Buch Hardcover
common.buy 65.89 €
Classic Horror Stories David Stuart Davies / Buch Hardcover
common.buy 11.09 €
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Buch Broschur
common.buy 14.19 €
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Buch Broschur
common.buy 17.89 €
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Buch Broschur
common.buy 113.19 €
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Buch Broschur
common.buy 9.09 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Buch Broschur
common.buy 52.89 €
Modern Art J.-.K. Huysmans / E-Book Adobe ePub DRM
common.buy 14.49 €
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Buch Hardcover
common.buy 16.49 €
Social Demography of South Africa Clifford O. Odimegwu / Buch Broschur
common.buy 65.89 €
Degas at the Opera LOYRETTE HENRI / Buch Hardcover
common.buy 46.99 €
Interactive Morphonology Martin Maiden / Buch Broschur
common.buy 60.49 €
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Buch Broschur
common.buy 13.19 €
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Buch Hardcover
common.buy 8.09 €
Jung Casement / Buch Broschur
common.buy 48.29 €

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?