Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computational Logic and Proof Theory

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computational Logic and Proof Theory Georg Gottlob
Libristo kod: 05274735
Nakladnici Springer, Berlin, studeni 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Kreda biała Giotto Robercolor 100 sztuk / Proizvodi od papira Proizvodi od papira
common.buy 5.76 €
Radiant 1. Tony Valente / Knjiga Meki uvez
common.buy 6.97 €
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Knjiga Meki uvez
common.buy 25.99 €
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Knjiga Meki uvez
common.buy 39.24 €
Nepodľahnite vojvodovi Anna Bradley / Knjiga Tvrdi uvez
common.buy 13.65 €
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Knjiga Meki uvez
common.buy 15.77 €
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Knjiga Tvrdi uvez
common.buy 11.52 €
Tier-Ornamentik im Norden Sophos Müller / Knjiga Meki uvez
common.buy 32.06 €
Pathohistologie Der Zahne Hermann Euler / Knjiga Meki uvez
common.buy 53.10 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Knjiga Meki uvez
common.buy 44.50 €
Inmenso estrecho : cuentos sobre inmigración / Knjiga Meki uvez
common.buy 18.40 €
Kadin Osho (Bhagman Shree Rajneesh) / Knjiga Meki uvez
common.buy 20.12 €
Furchtlos Andreas Adlon / Knjiga Meki uvez
common.buy 11.22 €
Principe de l'utilité et l'utilitarisme John Stuart Mill / Knjiga Meki uvez
common.buy 13.44 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Knjiga Meki uvez
common.buy 45.71 €
Brother for Rent 04 Monika Hammond / Knjiga Meki uvez
common.buy 6.56 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Knjiga Meki uvez
common.buy 35.70 €
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio CD
common.buy 48.85 €
Las Formas de los Viajar Tweedy / Knjiga Meki uvez
common.buy 11.12 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1997
Broj stranica 355
EAN 9783540633853
ISBN 3540633855
Libristo kod 05274735
Nakladnici Springer, Berlin
Težina 473
Dimenzije 156 x 234 x 19

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

High Performance Computational Science and Engineering Michael K. Ng / Knjiga Meki uvez
common.buy 102.97 €
Why Brains Don't Compute Dale Purves / Knjiga Meki uvez
common.buy 80.61 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Knjiga Meki uvez
common.buy 14.76 €
Pocahontas Erin Edison / Knjiga Tvrdi uvez
common.buy 9.70 €
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Knjiga Meki uvez
common.buy 7.17 €
Godbuster: Banishes all known gods Elliot George / Knjiga Meki uvez
common.buy 16.28 €
Blaise de Monluc A. W. Evans / Knjiga Meki uvez
common.buy 19.01 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Knjiga Tvrdi uvez
common.buy 29.73 €
Business Finance Eddie McLaney / Knjiga Meki uvez
common.buy 80.51 €
Global Communication and Collaboration Klaus-Dieter Gronwald / Knjiga Tvrdi uvez
common.buy 55.53 €
Classic Horror Stories David Stuart Davies / Knjiga Tvrdi uvez
common.buy 10.41 €
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Knjiga Meki uvez
common.buy 13.75 €
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Knjiga Meki uvez
common.buy 17.19 €
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Knjiga Meki uvez
common.buy 102.97 €
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Knjiga Meki uvez
common.buy 9.20 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Knjiga Meki uvez
common.buy 44.50 €
Modern Art J.-.K. Huysmans / E-knjiga Adobe ePub DRM
common.buy 13.24 €
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Knjiga Tvrdi uvez
common.buy 15.77 €
Social Demography of South Africa Clifford O. Odimegwu / Knjiga Meki uvez
common.buy 63.82 €
Degas at the Opera LOYRETTE HENRI / Knjiga Tvrdi uvez
common.buy 44.60 €
Interactive Morphonology Martin Maiden / Knjiga Meki uvez
common.buy 58.56 €
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Knjiga Meki uvez
common.buy 12.43 €
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Knjiga Tvrdi uvez
common.buy 7.78 €
Jung Casement / Knjiga Meki uvez
common.buy 46.83 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?