Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computational Logic

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

Език

Английски език

Книга С твърди корици

Код Либристо: 01566688

Издателство Springer, Berlin, ноември 1998

Recent developments in computer science clearly show the need for a better theoretical foundation fo... Цялото описание

Код Либристо: 01566688

394 b

162.91 €

318.63 лв

Външен склад Изпращаме след 10-13 дни

30 дни за връщане на стоката

Клиентите са закупили също

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

С меки корици

55.98 € 109.48 лв

Vkládací kostka Mimi 1 plast

Играчка

9.06 € 17.71 лв

Tous les vélos de ma vie Powerpaola

С меки корици

25.16 € 49.21 лв

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

С твърди корици

6.88 € 13.46 лв

Artystki i surrealizm Chadwick Whitney

С твърди корици

21.33 € 41.72 лв

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

С меки корици

31.01 € 60.66 лв

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

С меки корици

8.69 € 17.01 лв

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

С меки корици

19.67 € 38.48 лв

Teplice plán města 1:12 000

Карта

3.10 € 6.07 лв

Nietzsche für Boshafte Friedrich Nietzsche

С меки корици

9.42 € 18.42 лв

Mann ist Mann Bertolt Brecht

С меки корици

8.23 € 16.09 лв

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

С меки корици

27.54 € 53.87 лв

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

С меки корици

18.12 € 35.44 лв

Globalisierung - Entgrenzung von Politik? Holger Schorb

С меки корици

41.58 € 81.32 лв

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

С меки корици

55.98 € 109.48 лв

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

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Computational Logic

Автор Ulrich Berger, Helmut Schwichtenberg

Език

Английски език

Корици Книга - С твърди корици

Дата на издаване 1999

Брой страници 448

Баркод 9783540645894

ISBN 3540645896

Код Либристо 01566688

Издателство Springer, Berlin

Тегло 795

Размери 156 x 234 x 25

Може би ще Ви заинтересува

Algebroid Curves in Positive Characteristics A. Campillo

С меки корици

27.39 € 53.57 лв

Teacher's Manual, Volume 2 Wilhelm Vietor

С твърди корици

30.76 € 60.15 лв

Photographer's Guide To The Digital Portrait Al Audleman

С меки корици

28.58 € 55.90 лв

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

С меки корици

27.39 € 53.57 лв

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

С меки корици

22.99 € 44.96 лв

Rivers of Ice Bill Alley

С меки корици

16.51 € 32.30 лв

Teachers Teaching Teachers Geneal G. Cantrell

С меки корици

20.09 € 39.29 лв

Plays of Edwin Booth, Volume 1 Edwin Booth

С твърди корици

40.18 € 78.59 лв

Design Thinking Kristin Fontichiaro

С меки корици

14.18 € 27.74 лв

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

С меки корици

30.76 € 60.15 лв

SAXON MATH 1 TENNESSEE Saxon Publishers

С твърди корици

52.45 € 102.59 лв

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

С меки корици

20.92 € 40.91 лв

Education in the United States Richard Gause Boone

С меки корици

29.36 € 57.42 лв

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 )

С меки корици

28.11 € 54.99 лв