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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

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

393 b

160.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann

Broschur

55.29 €

Die Biogenen Amine Markus Guggenheim

Broschur

80.29 €

Qohelet P. Stefani

Broschur

22.10 €

ARCHIVOS DE THE SPIRIT 17 WILL EISNER

Broschur

35.69 €

Mein Wimmel-Memo zu Advent und Weihnachten Sophie Schmid

Spielzeug

12.95 €

Betriebsrate Daniel Jäger

Broschur

18.95 €

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

Broschur

49.90 €

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

Broschur

15.90 €

Herren und Knechte der Kirche Hubertus Mynarek

Broschur

24.80 €

Pflegeoasen in Deutschland Hermann Brandenburg

Hardcover

49.95 €

Campo Santo W. G. Sebald

Hardcover

22.90 €

Carmen – Skutečný život Hany Hegerové Tomáš Padevět

Hardcover

15.39 €

Die Gudrunsage Karl Heinrich Keck

Hardcover

35.91 €

FUGA PARA UNA ISLA -NEB PRIEST

Buch

7.69 €

Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda

Broschur

7.19 €

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

Broschur

36.49 €

Israelkritik in österreichischen linken Gruppen von 2000 - 2009 Stefan Sifkovits

Broschur

49.19 €

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