[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Computational Logic and Proof Theory

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 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Lord of the Rings Instrumental Solos / Broschur
common.buy 18.45 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Broschur
common.buy 52.15 €
Augustine Benedict Groeschel / Broschur
common.buy 22.49 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Broschur
common.buy 29.26 €
Principe de l'utilité et l'utilitarisme John Stuart Mill / Broschur
common.buy 16.64 €
FunKey Mathematics Card Game: Top 10 Detlef Wortmann / Broschur
common.buy 10.79 €
Visceral Pain Maria Adele Giamberardino / Broschur
common.buy 67.09 €
Ritual Violence and the Maternal in the British Novel, 1740-1820 Raymond F. Hilliard / Hardcover
common.buy 167.28 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Hardcover
common.buy 36.62 €
Business Finance Eddie McLaney / Broschur
common.buy 109.97 €
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift R. Loren Sandford / Broschur
common.buy 22.59 €
Killed in the Open. a Novel. Mary E Kennard / Broschur
common.buy 28.44 €

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.

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

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