Над 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: 161.74 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

161.74 €

316.34 лв

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

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

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

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

С меки корици

55.57 € 108.69 лв

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

С меки корици

19.53 € 38.20 лв

Tous les vélos de ma vie Powerpaola

С меки корици

24.00 € 46.95 лв

EL HOMBRE Y EL GATO 03 UMI SAKURAI

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

11.82 € 23.12 лв

Miláček národa Jan Nedoma

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

8.94 € 17.49 лв

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

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

6.83 € 13.36 лв

Le Califat Ali Merad

С меки корици

25.65 € 50.17 лв

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

С меки корици

8.63 € 16.88 лв

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

С меки корици

9.40 € 18.39 лв

Kdo to štěká? - DVD pošeta

Видео

1.69 € 3.31 лв

Buchhaltung kompakt fur Dummies Raymund Krauleidis

С меки корици

18.40 € 35.99 лв

Teplice plán města 1:12 000

Карта

3.49 € 6.83 лв

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

С меки корици

30.79 € 60.22 лв

Vkládací kostka Mimi 1 plast

Играчка

9.97 € 19.50 лв

Artystki i surrealizm Chadwick Whitney

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

20.56 € 40.21 лв

Sonnenfrau Patricia Paweletz

С меки корици

12.33 € 24.12 лв

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

Ноти

21.43 € 41.92 лв

Empirische Analyse von Erfolgsfaktoren studentischer Unternehmensberatungen Pierre du Maire

С меки корици

37.53 € 73.40 лв

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

С меки корици

16.70 € 32.67 лв

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

С меки корици

55.57 € 108.69 лв

Globalisierung - Entgrenzung von Politik? Holger Schorb

С меки корици

41.02 € 80.23 лв

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

С меки корици

6.94 € 13.56 лв

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

С меки корици

18.81 € 36.79 лв

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

С меки корици

17.94 € 35.08 лв

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.14 € 53.08 лв

Plays of Edwin Booth, Volume 1 Edwin Booth

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

39.89 € 78.02 лв

Teacher's Manual, Volume 2 Wilhelm Vietor

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

30.53 € 59.72 лв

Penny History of the Church of England Augustus Jessopp

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

29.56 € 57.81 лв

Goals Book Biagio "Bill" Sciacca

С меки корици

13.47 € 26.34 лв

Design Thinking Kristin Fontichiaro

С меки корици

14.08 € 27.54 лв

SAXON MATH 1 TENNESSEE Saxon Publishers

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

63.49 € 124.18 лв

Teachers Teaching Teachers Geneal G. Cantrell

С меки корици

19.94 € 39.01 лв

Seeking the Cave James P. Lenfestey

С меки корици

15.57 € 30.46 лв

Rivers of Ice Bill Alley

С меки корици

16.40 € 32.07 лв

Paper Hall, Bradford. Herbert E Wroot

С меки корици

11.87 € 23.22 лв

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.82 € 44.64 лв

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

С меки корици

27.19 € 53.18 лв

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

С меки корици

32.49 € 63.54 лв

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

С меки корици

20.77 € 40.61 лв

Education in the United States Richard Gause Boone

С меки корици

29.15 € 57.01 лв

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 )

С меки корици

27.91 € 54.59 лв