Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computational Logic

Name: Computational Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02004875
Price: 653.61 PLN
Availability: InStock
Author: Ulrich Berger
ISBN: 9783642636707

Ulrich Berger

Helmut Schwichtenberg

Język

Angielski

Książka Miękka

Kod Libristo: 02004875

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2012

Recent developments in computer science clearly show the need for a better theoretical foundation fo... Cały opis

Kod Libristo: 02004875

373 b

653.61 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Die Biogenen Amine Markus Guggenheim

Miękka

326.30 zł

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann

Miękka

224.72 zł

El cuaderno de Picasso FLORENTINO PAREDES GARCIA

Miękka

50.73 zł

Campo Santo W. G. Sebald

Twarda

87.13 zł

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

Miękka

147.70 zł

FUGA PARA UNA ISLA -NEB PRIEST

Książka

35.39 zł

Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda

Miękka

30.07 zł

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

Miękka

162.24 zł

Pflegeoasen in Deutschland Hermann Brandenburg

Twarda

213.39 zł

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

Miękka

60.86 zł

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

Miękka

188.52 zł

Betriebsrate Daniel Jäger

Miękka

72.49 zł

Die Gudrunsage Karl Heinrich Keck

Twarda

135.97 zł

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

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computational Logic

Autor Ulrich Berger, Helmut Schwichtenberg

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2012

Liczba stron 448

EAN 9783642636707

ISBN 3642636705

Kod Libristo 02004875

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

Waga 700

Wymiary 155 x 235 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Topics in Acoustic Echo and Noise Control Eberhard Hänsler

Miękka

695.03 zł

Understanding Criminal Justice Azrini Wahidin

Miękka

270.25 zł

Toothpick: The Greedy Cat Lora Mela

Miękka

40.60 zł

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

Twarda

469.30 zł

Aging with Care Amanda Lambert

Miękka

140.68 zł

Ocean Sailing Paul Heiney

Twarda

113.61 zł

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

Miękka

32.38 zł