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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.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 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kreda biała Giotto Robercolor 100 sztuk / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 4.89 €
Inmenso estrecho : cuentos sobre inmigración / Buch Broschur
common.buy 17.09 €
F&E Controling in Theorie und Praxis Christian Kunert / Buch Broschur
common.buy 18.95 €
Radiant 1. Tony Valente / Buch Broschur
common.buy 6.09 €
Braunschweiger Land Fritz J. Krüger / Buch Broschur
common.buy 27.00 €
Top
Nepodľahnite vojvodovi Anna Bradley / Buch Hardcover
common.buy 12.99 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Buch Broschur
common.buy 48.89 €
Talibin fighter Abu Al -Faraj Al -Isfahani / E-Book Adobe ePub DRM
common.buy 20.49 €
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Buch Hardcover
common.buy 9.99 €
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Buch Broschur
common.buy 13.19 €
Pack Dolmen: Superoso y su amigo. Vol. 1 y 2 MIKE KUNKEL / Buch Broschur
common.buy 20.09 €
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio CD
common.buy 46.19 €
Kadin Osho (Bhagman Shree Rajneesh) / Buch Broschur
common.buy 20.99 €
Geschichte der Malerei im XIX Richard Muther / Buch Broschur
common.buy 30.50 €
Brother for Rent 04 Monika Hammond / Buch Broschur
common.buy 7.50 €
Las Formas de los Viajar Tweedy / Buch Broschur
common.buy 11.59 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Buch Broschur
common.buy 43.99 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Buch Broschur
common.buy 35.29 €

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 101.79 €
Why Brains Don't Compute Dale Purves / Buch Broschur
common.buy 79.69 €
Top
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Buch Hardcover
common.buy 12.69 €
Social Demography of South Africa Clifford O. Odimegwu / Buch Broschur
common.buy 54.69 €
Napoleon Hill's Timeless Thoughts for Today Napoleon Hill / Buch Broschur
common.buy 15.59 €
Top
Paul Gauguin's Intimate Journals Paul Gaugin / Buch Hardcover
common.buy 18.59 €
Introductory Computer Forensics Xiaodong Lin / Buch Hardcover
common.buy 119.49 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Buch Broschur
common.buy 43.99 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Buch Broschur
common.buy 15.39 €
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 13.59 €
Blaise de Monluc A. W. Evans / Buch Broschur
common.buy 15.99 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Buch Hardcover
common.buy 30.79 €
Business Finance Eddie McLaney / Buch Broschur
common.buy 79.59 €
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Buch Broschur
common.buy 11.59 €
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Buch Broschur
common.buy 17.89 €
Animal Places Jacob Bull / E-Book Adobe ePub DRM
common.buy 68.69 €
Neu
Ethics, Law and Health Care Shih-Ning Then / Buch Broschur
common.buy 74.99 €
Beware the Villainess!, Vol. 4 V04 / Buch Broschur
common.buy 12.69 €
Top
The TKT Course Young Learners Module Kate Gregson / Buch Broschur
common.buy 25.29 €
The Recipe: Living Life with Ease Ramdas Ormond / Buch Broschur
common.buy 10.89 €
Classic Horror Stories David Stuart Davies / Buch Hardcover
common.buy 10.29 €
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Buch Broschur
common.buy 6.09 €
Sherlock Bones and the Horror of the Haunted Castle Tim Collins / Buch Broschur
common.buy 6.59 €

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?