Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computational Logic and Proof Theory

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

Limba englezăengleză
Carte Carte broșată
Carte Computational Logic and Proof Theory Georg Gottlob
Codul Libristo: 05274735
Editura Springer, Berlin, noiembrie 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kreda biała Giotto Robercolor 100 sztuk / Articole de papetărie Articole de papetărie
common.buy 31.80 lei
Inmenso estrecho : cuentos sobre inmigración / Carte Carte broșată
common.buy 101.35 lei
Fortaellinger fra stovlelandet Lars Hee / Carte Carte broșată
common.buy 39.18 lei
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Carte Carte broșată
common.buy 217.37 lei
Una mujer endemoniada Jim Thompson / E-book Adobe ePub DRM
common.buy 57.58 lei
F&E Controling in Theorie und Praxis Christian Kunert / Carte Carte broșată
common.buy 94.80 lei
Pathohistologie Der Zahne Hermann Euler / Carte Carte broșată
common.buy 292.96 lei
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Carte Carte broșată
common.buy 87.01 lei
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Carte Copertă tare
common.buy 63.82 lei
Talibin fighter Abu Al -Faraj Al -Isfahani / E-book Adobe ePub DRM
common.buy 103.74 lei
Nepodľahnite vojvodovi Anna Bradley / Carte Copertă tare
common.buy 76.19 lei
Tier-Ornamentik im Norden Sophos Müller / Carte Carte broșată
common.buy 178.18 lei
Radiant 1. Tony Valente / Carte Carte broșată
common.buy 38.98 lei
Principe de l'utilité et l'utilitarisme John Stuart Mill / Carte Carte broșată
common.buy 74.22 lei
Kadin Osho (Bhagman Shree Rajneesh) / Carte Carte broșată
common.buy 111.02 lei
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Carte Carte broșată
common.buy 142.00 lei
Las Formas de los Viajar Tweedy / Carte Carte broșată
common.buy 61.43 lei
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Carte Carte broșată
common.buy 246.80 lei
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio CD
common.buy 265.61 lei
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Carte Carte broșată
common.buy 197.83 lei
Brother for Rent 04 Monika Hammond / Carte Carte broșată
common.buy 36.38 lei
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Carte Carte broșată
common.buy 250.43 lei
Furchtlos Andreas Adlon / Carte Carte broșată
common.buy 61.95 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 355
EAN 9783540633853
ISBN 3540633855
Codul Libristo 05274735
Editura Springer, Berlin
Greutatea 473
Dimensiuni 156 x 234 x 19

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

High Performance Computational Science and Engineering Michael K. Ng / Carte Carte broșată
common.buy 568.77 lei
Why Brains Don't Compute Dale Purves / Carte Carte broșată
common.buy 445.78 lei
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Carte Copertă tare
common.buy 87.63 lei
Social Demography of South Africa Clifford O. Odimegwu / Carte Carte broșată
common.buy 348.99 lei
Introductory Computer Forensics Xiaodong Lin / Carte Copertă tare
common.buy 668.05 lei
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Carte Carte broșată
common.buy 246.80 lei
Embracing Your Inner Cheerleader Joan Ellen Gage / Carte Carte broșată
common.buy 81.39 lei
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Carte Carte broșată
common.buy 39.60 lei
Godbuster: Banishes all known gods Elliot George / Carte Carte broșată
common.buy 89.81 lei
Blaise de Monluc A. W. Evans / Carte Carte broșată
common.buy 104.37 lei
Business Finance Eddie McLaney / Carte Carte broșată
common.buy 446.61 lei
Global Communication and Collaboration Klaus-Dieter Gronwald / Carte Copertă tare
common.buy 306.99 lei
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Carte Carte broșată
common.buy 75.36 lei
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Carte Carte broșată
common.buy 95.01 lei
Pocahontas Erin Edison / Carte Copertă tare
common.buy 53.42 lei
Curând Nou
Ethics, Law and Health Care Shih-Ning Then / Carte Carte broșată
common.buy 403.36 lei
Top
Beware the Villainess!, Vol. 4 V04 / Carte Carte broșată
common.buy 87.84 lei
Top
The TKT Course Young Learners Module Kate Gregson / Carte Carte broșată
common.buy 145.22 lei
The Recipe: Living Life with Ease Ramdas Ormond / Carte Carte broșată
common.buy 75.57 lei
Classic Horror Stories David Stuart Davies / Carte Copertă tare
common.buy 58.62 lei
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Carte Carte broșată
common.buy 45.42 lei
Modern Art J.-.K. Huysmans / E-book Adobe ePub DRM
common.buy 73.18 lei
Animal Places Jacob Bull / E-book Adobe ePub DRM
common.buy 329.24 lei
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Carte Copertă tare
common.buy 163.42 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?