Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Computational Logic

Name: Computational Logic
Brand: Springer, Berlin
SKU: 01566688
Price: 160.89 EUR
Availability: InStock
Author: Ulrich Berger
ISBN: 9783540645894

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Ulrich Berger

Helmut Schwichtenberg

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01566688

Verlag Springer, Berlin, November 1998

Recent developments in computer science clearly show the need for a better theoretical foundation fo... Vollständige Beschreibung

Libristo-Code: 01566688

394 b

160.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Broschur

55.29 €

Vkládací kostka Mimi 1 plast

Spielzeug

8.89 €

Tous les vélos de ma vie Powerpaola

Broschur

24.79 €

Padesátka v nouzovém stavu Hana Hřebejková

Hardcover

6.39 €

Artystki i surrealizm Chadwick Whitney

Hardcover

21.09 €

Aesop for Children (Simplified Chinese): 05 Hanyu Pinyin Paperback B&w Aesop

Broschur

32.19 €

Požehnání, ne prokletí Jane Bennettová

Broschur

8.59 €

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Broschur

19.39 €

Teplice plán města 1:12 000

Karte

3.09 €

Nietzsche für Boshafte Friedrich Nietzsche

Broschur

9.29 €

Mann ist Mann Bertolt Brecht

Broschur

8.09 €

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Broschur

28.39 €

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Broschur

18.95 €

Globalisierung - Entgrenzung von Politik? Holger Schorb

Broschur

41.09 €

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Broschur

55.29 €

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.§Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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

Autor Ulrich Berger, Helmut Schwichtenberg

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1999

Anzahl der Seiten 448

EAN 9783540645894

ISBN 3540645896

Libristo-Code 01566688

Verlag Springer, Berlin

Gewicht 795

Abmessungen 156 x 234 x 25

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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

Algebroid Curves in Positive Characteristics A. Campillo

Broschur

26.99 €

Teacher's Manual, Volume 2 Wilhelm Vietor

Hardcover

31.79 €

Photographer's Guide To The Digital Portrait Al Audleman

Broschur

28.19 €

Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6 Ben Jonson

Broschur

28.79 €

Digest of the Militia Laws, to the End of the Last Session of Parliament in the 19 Geo. III. with a Copious Index. by Richard Burn, LL.D. Richard Burn

Broschur

23.79 €

Rivers of Ice Bill Alley

Broschur

17.29 €

Teachers Teaching Teachers Geneal G. Cantrell

Broschur

19.89 €

Plays of Edwin Booth, Volume 1 Edwin Booth

Hardcover

41.59 €

Design Thinking Kristin Fontichiaro

Broschur

13.99 €

New Headway: Upper-Intermediate: Student's Book Soars John and Liz

Broschur

30.39 €

SAXON MATH 1 TENNESSEE Saxon Publishers

Hardcover

54.49 €

Memorial of St. Mark's Church in the Bowery St. Mark´S Church In The Bowery

Broschur

20.59 €

Education in the United States Richard Gause Boone

Broschur

28.99 €

Municipal Documents of the City of Beverly, Massachusetts: Containing the Annual Reports ... the Address of the Mayor, and the Organization of the Cit Beverly (Mass )

Broschur

29.49 €

Next to a Hard Place: The Book of Passage Volume 2 Sean M Wilson

Broschur

13.59 €

Advent for Everyone: A Journey with the Apostles: A Daily Devotional N. T. Wright

Broschur

14.99 €

Software Engineering Project Management Knowledge Areas: Volume 12: The Engieering of Software Projects Richard Hall Thayer

Broschur

29.49 €

Calcium and Magnesium in Groundwater Lidia Razowska-Jaworek

Broschur

101.59 €

Group Extensions, Representations, and the Schur Multiplicator F. R. Beyl

Broschur

53.79 €

Guide to Not Going to University, The Andrew Shanahan

Broschur

31.39 €

Reversing the Lens Jun Xing

Broschur

24.69 €

Lohnanspruche Deutscher Arbeitsloser B. Christensen

Buch

112.29 €

International Primary Science Workbook 1 Jonathan Miller

Broschur

6.49 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Computational Logic

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Computational Logic

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

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