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 Kurier 12.99 zł Punkt DPD 11.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: 668.24 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

668.24 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Miękka

229.74 zł

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Miękka

85.19 zł

Tous les vélos de ma vie Powerpaola

Miękka

98.92 zł

EL HOMBRE Y EL GATO 03 UMI SAKURAI

Twarda

48.89 zł

Miláček národa Jan Nedoma

Twarda

35.05 zł

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

Twarda

28.08 zł

Le Califat Ali Merad

Miękka

105.79 zł

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

Miękka

35.46 zł

Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück

Miękka

38.85 zł

Buchhaltung kompakt fur Dummies Raymund Krauleidis

Miękka

76.27 zł

Teplice plán města 1:12 000

Mapa

15.26 zł

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

Miękka

134.19 zł

Vkládací kostka Mimi 1 plast

Zabawka

40.59 zł

Artystki i surrealizm Chadwick Whitney

Twarda

69.60 zł

Sonnenfrau Patricia Paweletz

Miękka

50.64 zł

Strauß für die Jugend für Klavier. Bd.3 Richard Krentzlin

Nuty

88.57 zł

Empirische Analyse von Erfolgsfaktoren studentischer Unternehmensberatungen Pierre du Maire

Miękka

154.39 zł

Les Voyages Presidentiels Illustres. Septieme Et Huitieme Voyages Bertol-Graivil

Miękka

65.09 zł

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Miękka

229.74 zł

Globalisierung - Entgrenzung von Politik? Holger Schorb

Miękka

170.49 zł

B.E.N. - Der Schatz vom Kalkberg Frank Lehmann

Miękka

28.80 zł

La Lucha Por la Tierra: Los Titulos Primordiales y los Pueblos Indios en Mexico, Siglos XIX y XX = The Struggle for the Land Ethelia Ruiz Medrano

Miękka

78.22 zł

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Miękka

73.91 zł

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Miękka

119.23 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

112.15 zł

Plays of Edwin Booth, Volume 1 Edwin Booth

Twarda

173.77 zł

Teacher's Manual, Volume 2 Wilhelm Vietor

Twarda

132.96 zł

Penny History of the Church of England Augustus Jessopp

Twarda

128.86 zł

Goals Book Biagio "Bill" Sciacca

Miękka

58.73 zł

Design Thinking Kristin Fontichiaro

Miękka

58.12 zł

SAXON MATH 1 TENNESSEE Saxon Publishers

Twarda

264.70 zł

Teachers Teaching Teachers Geneal G. Cantrell

Miękka

82.52 zł

Seeking the Cave James P. Lenfestey

Miękka

64.27 zł

Rivers of Ice Bill Alley

Miękka

71.35 zł

Paper Hall, Bradford. Herbert E Wroot

Miękka

51.66 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

99.33 zł

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

Miękka

118.51 zł

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

Miękka

130.09 zł

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

Miękka

85.39 zł

Education in the United States Richard Gause Boone

Miękka

119.84 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

121.69 zł