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

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Computational Logic

Name: Computational Logic
Brand: Springer, Berlin
SKU: 01566688
Price: 653.61 PLN
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

Język

Angielski

Książka Twarda

Kod Libristo: 01566688

Wydawnictwo Springer, Berlin, listopad 1998

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

Kod Libristo: 01566688

373 b

653.61 zł

Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Klienci kupili także

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Miękka

224.72 zł

Vkládací kostka Mimi 1 plast

Zabawka

34.09 zł

Tous les vélos de ma vie Powerpaola

Miękka

102.07 zł

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

Twarda

27.47 zł

Artystki i surrealizm Chadwick Whitney

Twarda

74.60 zł

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

Miękka

131.26 zł

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

Miękka

34.69 zł

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Miękka

83.32 zł

Teplice plán města 1:12 000

Mapa

11.92 zł

Nietzsche für Boshafte Friedrich Nietzsche

Miękka

37.80 zł

Mann ist Mann Bertolt Brecht

Miękka

33.28 zł

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Miękka

116.62 zł

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Miękka

72.49 zł

Globalisierung - Entgrenzung von Politik? Holger Schorb

Miękka

168.06 zł

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Miękka

224.72 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 - Twarda

Data wydania 1999

Liczba stron 448

EAN 9783540645894

ISBN 3540645896

Kod Libristo 01566688

Wydawnictwo Springer, Berlin

Waga 795

Wymiary 156 x 234 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się

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ć

Algebroid Curves in Positive Characteristics A. Campillo

Miękka

109.90 zł

Teacher's Manual, Volume 2 Wilhelm Vietor

Twarda

130.05 zł

Photographer's Guide To The Digital Portrait Al Audleman

Miękka

114.61 zł

Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6 Ben Jonson

Miękka

115.91 zł

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

Miękka

97.16 zł

Rivers of Ice Bill Alley

Miękka

69.78 zł

Teachers Teaching Teachers Geneal G. Cantrell

Miękka

80.82 zł

Plays of Edwin Booth, Volume 1 Edwin Booth

Twarda

169.96 zł

Design Thinking Kristin Fontichiaro

Miękka

56.85 zł

New Headway: Upper-Intermediate: Student's Book Soars John and Liz

Miękka

118.82 zł

SAXON MATH 1 TENNESSEE Saxon Publishers

Twarda

221.91 zł

Memorial of St. Mark's Church in the Bowery St. Mark´S Church In The Bowery

Miękka

83.52 zł

Education in the United States Richard Gause Boone

Miękka

117.22 zł

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 )

Miękka

119.02 zł