Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computational Logic and Proof Theory

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computational Logic and Proof Theory Georg Gottlob
Libristo-code: 05274735
Uitgeverij Springer, Berlin, november 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computational Logic and Proof Theory
Auteur Georg Gottlob, Alexander Leitsch, Daniele Mundici
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1997
Aantal pagina's 355
EAN 9783540633853
ISBN 3540633855
Libristo-code 05274735
Uitgeverij Springer, Berlin
Gewicht 473
Afmetingen 156 x 234 x 19

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?