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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Broschur

55.29 €

Teplice plán města 1:12 000

Karte

3.09 €

Artystki i surrealizm Chadwick Whitney

Hardcover

22.29 €

Vkládací kostka Mimi 1 plast

Spielzeug

8.89 €

Tous les vélos de ma vie Powerpaola

Broschur

24.69 €

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

Hardcover

6.39 €

Le Califat Ali Merad

Broschur

26.29 €

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

Broschur

32.19 €

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

Broschur

8.69 €

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Broschur

18.49 €

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Broschur

28.39 €

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Broschur

55.29 €

Globalisierung - Entgrenzung von Politik? Holger Schorb

Broschur

40.99 €

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Broschur

18.95 €

Nietzsche für Boshafte Friedrich Nietzsche

Broschur

9.29 €

Mann ist Mann Bertolt Brecht

Broschur

8.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

22.79 €

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

63.19 €

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 €