Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computational Logic

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

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01566688

Nakladateľstvo Springer, Berlin, november 1998

Recent developments in computer science clearly show the need for a better theoretical foundation fo... Celý popis

Libristo kód: 01566688

373 b

154.52 €

Skladom u dodávateľa Odosielame za 10-13 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Brožovaná

53.15 €

Vkládací kostka Mimi 1 plast

Hračka

6.57 €

Tous les vélos de ma vie Powerpaola

Brožovaná

24.09 €

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

Pevná

6.17 €

Artystki i surrealizm Chadwick Whitney

Pevná

20.14 €

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

Brožovaná

29.46 €

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

Brožovaná

7.58 €

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Brožovaná

18.72 €

Teplice plán města 1:12 000

Mapa

2.32 €

Nietzsche für Boshafte Friedrich Nietzsche

Brožovaná

8.90 €

Mann ist Mann Bertolt Brecht

Brožovaná

7.89 €

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Brožovaná

26.32 €

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Brožovaná

17.10 €

Globalisierung - Entgrenzung von Politik? Holger Schorb

Brožovaná

39.68 €

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Brožovaná

53.15 €

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

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computational Logic

Autor Ulrich Berger, Helmut Schwichtenberg

Jazyk

Angličtina

Väzba Kniha - Pevná

Dátum vydania 1999

Počet strán 448

EAN 9783540645894

ISBN 3540645896

Libristo kód 01566688

Nakladateľstvo Springer, Berlin

Váha 795

Rozmery 156 x 234 x 25

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Operačné systémy

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Algebroid Curves in Positive Characteristics A. Campillo

Brožovaná

26.01 €

Teacher's Manual, Volume 2 Wilhelm Vietor

Pevná

29.25 €

Photographer's Guide To The Digital Portrait Al Audleman

Brožovaná

27.13 €

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

Brožovaná

25.71 €

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

Brožovaná

21.86 €

Rivers of Ice Bill Alley

Brožovaná

15.48 €

Teachers Teaching Teachers Geneal G. Cantrell

Brožovaná

19.13 €

Plays of Edwin Booth, Volume 1 Edwin Booth

Pevná

38.27 €

Design Thinking Kristin Fontichiaro

Brožovaná

13.46 €

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

Brožovaná

23.38 €

SAXON MATH 1 TENNESSEE Saxon Publishers

Pevná

49.81 €

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

Brožovaná

19.74 €

Education in the United States Richard Gause Boone

Brožovaná

27.74 €

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 )

Brožovaná

26.42 €