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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02004875
Price: 160.89 EUR
Availability: InStock
Author: Ulrich Berger
ISBN: 9783642636707

Ulrich Berger

Helmut Schwichtenberg

Sprache

Englisch

Buch Broschur

Libristo-Code: 02004875

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2012

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

Libristo-Code: 02004875

394 b

160.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Biogenen Amine Markus Guggenheim

Broschur

80.29 €

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann

Broschur

55.29 €

Campo Santo W. G. Sebald

Hardcover

22.90 €

Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon

Broschur

36.49 €

FUGA PARA UNA ISLA -NEB PRIEST

Buch

7.39 €

Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda

Broschur

7.39 €

Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe

Broschur

42.90 €

Pflegeoasen in Deutschland Hermann Brandenburg

Hardcover

52.39 €

Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde

Broschur

15.90 €

full goodwill-Methode nach IFRS 3 (2008) Ina Klein

Broschur

49.90 €

Betriebsrate Daniel Jäger

Broschur

18.95 €

Die Gudrunsage Karl Heinrich Keck

Hardcover

35.90 €

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 - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 448

EAN 9783642636707

ISBN 3642636705

Libristo-Code 02004875

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 700

Abmessungen 155 x 235 x 25

Kategorie

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

Topics in Acoustic Echo and Noise Control Eberhard Hänsler

Broschur

187.89 €

Understanding Criminal Justice Azrini Wahidin

Broschur

65.89 €

Toothpick: The Greedy Cat Lora Mela

Broschur

9.99 €

Systemic Racism in the United States Robbie W. C. Tourse

Hardcover

115.59 €

Aging with Care Amanda Lambert

Broschur

31.79 €

Ocean Sailing Paul Heiney

Hardcover

36.39 €

Sudoku Puzzle Book For Teens: Easy to Medium Sudoku Puzzles Including 330 Sudoku Puzzles with Solutions 3rd Edition, Great Gift for Teens or Tweens Quick Creative

Broschur

7.99 €