Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computational Logic and Proof Theory

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computational Logic and Proof Theory Georg Gottlob
Koda Libristo: 05274735
Založba Springer, Berlin, november 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Celoten opis
? points 118 b
48.74 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Una mujer endemoniada Jim Thompson / E-knjiga Adobe ePub DRM
common.buy 9.88 €
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Knjiga Mehka
common.buy 36.83 €
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Knjiga Mehka
common.buy 14.93 €
Radiant 1. Tony Valente / Knjiga Mehka
common.buy 6.55 €
Galgbranten / Knjiga Trda
common.buy 16.95 €
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Knjiga Trda
common.buy 10.79 €
Talibin fighter Abu Al -Faraj Al -Isfahani / E-knjiga Adobe ePub DRM
common.buy 17.85 €
Top
Nepodľahnite vojvodovi Anna Bradley / Knjiga Trda
common.buy 12.81 €
F&E Controling in Theorie und Praxis Christian Kunert / Knjiga Mehka
common.buy 16.04 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Knjiga Mehka
common.buy 41.77 €
Pack Dolmen: Superoso y su amigo. Vol. 1 y 2 MIKE KUNKEL / Knjiga Mehka
common.buy 20.48 €
Inmenso estrecho : cuentos sobre inmigración / Knjiga Mehka
common.buy 17.35 €
Kadin Osho (Bhagman Shree Rajneesh) / Knjiga Mehka
common.buy 18.96 €
Furchtlos Andreas Adlon / Knjiga Mehka
common.buy 10.69 €
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Knjiga Mehka
common.buy 24.62 €
Principe de l'utilité et l'utilitarisme John Stuart Mill / Knjiga Mehka
common.buy 12.81 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Knjiga Mehka
common.buy 43.69 €
Geschichte der Malerei im XIX Richard Muther / Knjiga Mehka
common.buy 26.53 €
Brother for Rent 04 Monika Hammond / Knjiga Mehka
common.buy 6.05 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Knjiga Mehka
common.buy 33.50 €
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Zvok Zvočni CD
common.buy 46.82 €
Las Formas de los Viajar Tweedy / Knjiga Mehka
common.buy 10.59 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computational Logic and Proof Theory
Avtor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1997
Število strani 355
EAN 9783540633853
ISBN 3540633855
Koda Libristo 05274735
Založba Springer, Berlin
Teža 473
Mere 156 x 234 x 19

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Why Brains Don't Compute Dale Purves / Knjiga Mehka
common.buy 75.99 €
High Performance Computational Science and Engineering Michael K. Ng / Knjiga Mehka
common.buy 97.18 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Knjiga Mehka
common.buy 41.77 €
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Knjiga Mehka
common.buy 13.01 €
Classic Horror Stories David Stuart Davies / Knjiga Trda
common.buy 9.68 €
The Recipe: Living Life with Ease Ramdas Ormond / Knjiga Mehka
common.buy 12.71 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Knjiga Mehka
common.buy 14.02 €
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Knjiga Mehka
common.buy 6.85 €
Godbuster: Banishes all known gods Elliot George / Knjiga Mehka
common.buy 15.43 €
Blaise de Monluc A. W. Evans / Knjiga Mehka
common.buy 18.06 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Knjiga Trda
common.buy 28.25 €
Business Finance Eddie McLaney / Knjiga Mehka
common.buy 75.69 €
Global Communication and Collaboration Klaus-Dieter Gronwald / Knjiga Trda
common.buy 52.27 €
The TKT Course Young Learners Module Kate Gregson / Knjiga Mehka
common.buy 26.13 €
Kmalu Novo
Ethics, Law and Health Care Shih-Ning Then / Knjiga Mehka
common.buy 69.13 €
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Knjiga Trda
common.buy 7.46 €
Wellbeing Activity Book Amy Birch / Knjiga Mehka
common.buy 15.03 €
Animal Places Jacob Bull / E-knjiga Adobe ePub DRM
common.buy 57.42 €
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Knjiga Mehka
common.buy 97.18 €
Modern Art J.-.K. Huysmans / E-knjiga Adobe ePub DRM
common.buy 12.61 €
Ramen, Ramen! Zachary Woodard / Knjiga Mehka
common.buy 13.01 €
Jung Casement / Knjiga Mehka
common.buy 44.60 €
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Knjiga Mehka
common.buy 12.00 €
Interactive Morphonology Martin Maiden / Knjiga Mehka
common.buy 55.90 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?