Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computational Logic

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

Nyelv

Angol

Könyv Kemény kötésű

Libristo kód: 01566688

Kiadó Springer, Berlin, november 1998

Recent developments in computer science clearly show the need for a better theoretical foundation fo... Teljes leírás

Libristo kód: 01566688

406 b

61 067 Ft

Beszállítói készleten Küldés 10-13 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Puha kötésű

20 995 Ft

Teplice plán města 1:12 000

Térkép

1 068 Ft

Artystki i surrealizm Chadwick Whitney

Kemény kötésű

7 313 Ft

Vkládací kostka Mimi 1 plast

Játék

3 113 Ft

Tous les vélos de ma vie Powerpaola

Puha kötésű

8 727 Ft

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

Kemény kötésű

2 363 Ft

Le Califat Ali Merad

Puha kötésű

9 302 Ft

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

Puha kötésű

12 206 Ft

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

Puha kötésű

2 980 Ft

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Puha kötésű

6 801 Ft

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Puha kötésű

10 730 Ft

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Puha kötésű

20 995 Ft

Globalisierung - Entgrenzung von Politik? Holger Schorb

Puha kötésű

14 432 Ft

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Puha kötésű

6 815 Ft

Nietzsche für Boshafte Friedrich Nietzsche

Puha kötésű

3 251 Ft

Mann ist Mann Bertolt Brecht

Puha kötésű

2 890 Ft

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

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Computational Logic

Szerző Ulrich Berger, Helmut Schwichtenberg

Nyelv

Angol

Kötés Könyv - Kemény kötésű

Kiadás éve 1999

Oldalszám 448

EAN 9783540645894

ISBN 3540645896

Libristo kód 01566688

Kiadó Springer, Berlin

Súly 795

Méretek 156 x 234 x 25

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Gépi tanulás

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Operációs rendszerek

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Algebroid Curves in Positive Characteristics A. Campillo

Puha kötésű

10 265 Ft

Teacher's Manual, Volume 2 Wilhelm Vietor

Kemény kötésű

12 040 Ft

Photographer's Guide To The Digital Portrait Al Audleman

Puha kötésű

10 730 Ft

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

Puha kötésű

10 972 Ft

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

Puha kötésű

8 998 Ft

Rivers of Ice Bill Alley

Puha kötésű

6 606 Ft

Teachers Teaching Teachers Geneal G. Cantrell

Puha kötésű

8 006 Ft

Plays of Edwin Booth, Volume 1 Edwin Booth

Kemény kötésű

15 756 Ft

Design Thinking Kristin Fontichiaro

Puha kötésű

5 329 Ft

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

Puha kötésű

10 701 Ft

SAXON MATH 1 TENNESSEE Saxon Publishers

Kemény kötésű

23 866 Ft

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

Puha kötésű

7 854 Ft

Education in the United States Richard Gause Boone

Puha kötésű

11 015 Ft

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 )

Puha kötésű

11 257 Ft