Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
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
0
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 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computational Logic and Proof Theory Georg Gottlob
Libristo kód: 05274735
Nakladateľstvo Springer, Berlin, november 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Celý popis
? points 135 b
55.93 €
Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Kreda biała Giotto Robercolor 100 sztuk / Papierenský tovar Papierenský tovar
common.buy 6.07 €
Radiant 1. Tony Valente / Kniha Brožovaná
common.buy 7.49 €
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Kniha Brožovaná
common.buy 27.25 €
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Kniha Brožovaná
common.buy 44.99 €
Nepodľahnite vojvodovi Anna Bradley / Kniha Pevná
common.buy 11.95 €
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Kniha Brožovaná
common.buy 16.61 €
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Kniha Pevná
common.buy 12.25 €
Tier-Ornamentik im Norden Sophos Müller / Kniha Brožovaná
common.buy 40.33 €
Pathohistologie Der Zahne Hermann Euler / Kniha Brožovaná
common.buy 60.80 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Kniha Brožovaná
common.buy 50.97 €
Inmenso estrecho : cuentos sobre inmigración / Kniha Brožovaná
common.buy 19.45 €
Kadin Osho (Bhagman Shree Rajneesh) / Kniha Brožovaná
common.buy 20.16 €
Furchtlos Andreas Adlon / Kniha Brožovaná
common.buy 10.73 €
Principe de l'utilité et l'utilitarisme John Stuart Mill / Kniha Brožovaná
common.buy 12.86 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Kniha Brožovaná
common.buy 45.80 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Kniha Brožovaná
common.buy 40.93 €
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio CD
common.buy 50.97 €
Las Formas de los Viajar Tweedy / Kniha Brožovaná
common.buy 10.63 €

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1997
Počet strán 355
EAN 9783540633853
ISBN 3540633855
Libristo kód 05274735
Nakladateľstvo Springer, Berlin
Váha 473
Rozmery 156 x 234 x 19

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
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 > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
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ť

High Performance Computational Science and Engineering Michael K. Ng / Kniha Brožovaná
common.buy 109.54 €
Why Brains Don't Compute Dale Purves / Kniha Brožovaná
common.buy 90.09 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Kniha Brožovaná
common.buy 14.08 €
Pocahontas Erin Edison / Kniha Pevná
common.buy 9.72 €
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Kniha Brožovaná
common.buy 6.88 €
Godbuster: Banishes all known gods Elliot George / Kniha Brožovaná
common.buy 15.50 €
Blaise de Monluc A. W. Evans / Kniha Brožovaná
common.buy 18.13 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Kniha Pevná
common.buy 28.37 €
Business Finance Eddie McLaney / Kniha Brožovaná
common.buy 104.88 €
Global Communication and Collaboration Klaus-Dieter Gronwald / Kniha Pevná
common.buy 63.64 €
Classic Horror Stories David Stuart Davies / Kniha Pevná
common.buy 10.43 €
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Kniha Brožovaná
common.buy 13.06 €
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Kniha Brožovaná
common.buy 16.21 €
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Kniha Brožovaná
common.buy 109.54 €
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Kniha Brožovaná
common.buy 9.21 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Kniha Brožovaná
common.buy 50.97 €
Modern Art J.-.K. Huysmans / E-kniha Adobe ePub DRM
common.buy 13.98 €
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Kniha Pevná
common.buy 14.79 €
Social Demography of South Africa Clifford O. Odimegwu / Kniha Brožovaná
common.buy 61.10 €
Degas at the Opera LOYRETTE HENRI / Kniha Pevná
common.buy 44.68 €
Interactive Morphonology Martin Maiden / Kniha Brožovaná
common.buy 56.14 €
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Kniha Brožovaná
common.buy 12.46 €
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Kniha Pevná
common.buy 7.79 €
Jung Casement / Kniha Brožovaná
common.buy 46.91 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?