Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computational Logic

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

Nakladatelství Springer, Berlin, listopad 1998

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

Libristo kód: 01566688

353 b

3 532 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe

Brožovaná

1 214 Kč

Vkládací kostka Mimi 1 plast

Hračka

171 Kč

Tous les vélos de ma vie Powerpaola

Brožovaná

583 Kč

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

Pevná

159 Kč

Artystki i surrealizm Chadwick Whitney

Pevná

486 Kč

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

Brožovaná

711 Kč

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

Brožovaná

180 Kč

Schritte international 6 Lehrerhandbuch Petra Klimaszyk

Brožovaná

452 Kč

Teplice plán města 1:12 000

Mapa

61 Kč

Nietzsche für Boshafte Friedrich Nietzsche

Brožovaná

216 Kč

Mann ist Mann Bertolt Brecht

Brožovaná

181 Kč

Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich

Brožovaná

636 Kč

OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke

Brožovaná

389 Kč

Globalisierung - Entgrenzung von Politik? Holger Schorb

Brožovaná

960 Kč

Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns

Brožovaná

1 214 Kč

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 pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computational Logic

Autor Ulrich Berger, Helmut Schwichtenberg

Jazyk

Angličtina

Vazba Kniha - Pevná

Datum vydání 1999

Počet stran 448

EAN 9783540645894

ISBN 3540645896

Libristo kód 01566688

Nakladatelství Springer, Berlin

Váha 795

Rozměry 156 x 234 x 25

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Operační systémy

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Algebroid Curves in Positive Characteristics A. Campillo

Brožovaná

594 Kč

Teacher's Manual, Volume 2 Wilhelm Vietor

Pevná

707 Kč

Photographer's Guide To The Digital Portrait Al Audleman

Brožovaná

618 Kč

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

Brožovaná

621 Kč

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á

528 Kč

Rivers of Ice Bill Alley

Brožovaná

374 Kč

Teachers Teaching Teachers Geneal G. Cantrell

Brožovaná

438 Kč

Plays of Edwin Booth, Volume 1 Edwin Booth

Pevná

924 Kč

Design Thinking Kristin Fontichiaro

Brožovaná

307 Kč

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

Brožovaná

584 Kč

SAXON MATH 1 TENNESSEE Saxon Publishers

Pevná

1 203 Kč

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

Brožovaná

449 Kč

Education in the United States Richard Gause Boone

Brožovaná

630 Kč

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á

638 Kč