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: 668.24 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

668.24 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann

Miękka

229.74 zł

Die Biogenen Amine Markus Guggenheim

Miękka

333.60 zł

Qohelet P. Stefani

Miękka

96.77 zł

ARCHIVOS DE THE SPIRIT 17 WILL EISNER

Miękka

148.14 zł

Mein Wimmel-Memo zu Advent und Weihnachten Sophie Schmid

Zabawka

47.56 zł

Betriebsrate Daniel Jäger

Miękka

73.91 zł

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

Miękka

192.73 zł

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

Miękka

62.22 zł

Herren und Knechte der Kirche Hubertus Mynarek

Miękka

96.46 zł

Pflegeoasen in Deutschland Hermann Brandenburg

Twarda

217.03 zł

Campo Santo W. G. Sebald

Twarda

89.08 zł

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

Twarda

63.55 zł

Die Gudrunsage Karl Heinrich Keck

Twarda

139.01 zł

FUGA PARA UNA ISLA -NEB PRIEST

Książka

35.46 zł

Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda

Miękka

30.75 zł

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

Miękka

151.01 zł

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

Miękka

215.29 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

710.58 zł

PROCEEDINGS AT THE DEDICATION Brookline (Mass ).

Twarda

128.86 zł

Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary

Miękka

44.69 zł

Toothpick: The Greedy Cat Lora Mela

Miękka

41.51 zł

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

Twarda

479.80 zł

Dueling in Charleston: Violence Refined in the Holy City J Long

Twarda

106.51 zł

Aging with Care Amanda Lambert

Miękka

120.45 zł

Ocean Sailing Paul Heiney

Twarda

160.34 zł

Lust in the Woods: A Jake and Lee story Jacqueline LeMaster

Miękka

29.21 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

33.10 zł