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.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Kreda biała Giotto Robercolor 100 sztuk / Schrijfwaren Schrijfwaren
common.buy 6.06 €
Inmenso estrecho : cuentos sobre inmigración / Boek Gebonden (paperback)
common.buy 19.32 €
F&E Controling in Theorie und Praxis Christian Kunert / Boek Gebonden (paperback)
common.buy 17.09 €
Radiant 1. Tony Valente / Boek Gebonden (paperback)
common.buy 7.48 €
Braunschweiger Land Fritz J. Krüger / Boek Gebonden (paperback)
common.buy 29.13 €
TOP
Nepodľahnite vojvodovi Anna Bradley / Boek Gebonden (harde band)
common.buy 14.46 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Boek Gebonden (paperback)
common.buy 58.88 €
Talibin fighter Abu Al -Faraj Al -Isfahani / E-book Adobe ePub DRM
common.buy 19.82 €
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 €
Pack Dolmen: Superoso y su amigo. Vol. 1 y 2 MIKE KUNKEL / Boek Gebonden (paperback)
common.buy 22.45 €
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Audio Audio cd
common.buy 50.68 €
Geschichte der Malerei im XIX Richard Muther / Boek Gebonden (paperback)
common.buy 31.46 €
Brother for Rent 04 Monika Hammond / Boek Gebonden (paperback)
common.buy 6.47 €
Las Formas de los Viajar Tweedy / Boek Gebonden (paperback)
common.buy 11.12 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Boek Gebonden (paperback)
common.buy 44.51 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Boek Gebonden (paperback)
common.buy 35.71 €

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.99 €
Why Brains Don't Compute Dale Purves / Boek Gebonden (paperback)
common.buy 80.63 €
TOP
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 66.87 €
Napoleon Hill's Timeless Thoughts for Today Napoleon Hill / Boek Gebonden (paperback)
common.buy 19.42 €
TOP
Paul Gauguin's Intimate Journals Paul Gaugin / Boek Gebonden (harde band)
common.buy 23.16 €
Introductory Computer Forensics Xiaodong Lin / Boek Gebonden (harde band)
common.buy 120.90 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Boek Gebonden (paperback)
common.buy 44.51 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Boek Gebonden (paperback)
common.buy 14.76 €
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.74 €
Business Finance Eddie McLaney / Boek Gebonden (paperback)
common.buy 80.53 €
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 €
Animal Places Jacob Bull / E-book Adobe ePub DRM
common.buy 66.46 €
Nieuw
Ethics, Law and Health Care Shih-Ning Then / Boek Gebonden (paperback)
common.buy 86.40 €
Beware the Villainess!, Vol. 4 V04 / Boek Gebonden (paperback)
common.buy 15.77 €
TOP
The TKT Course Young Learners Module Kate Gregson / Boek Gebonden (paperback)
common.buy 30.14 €
The Recipe: Living Life with Ease Ramdas Ormond / Boek Gebonden (paperback)
common.buy 13.55 €
Classic Horror Stories David Stuart Davies / Boek Gebonden (harde band)
common.buy 10.41 €
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Boek Gebonden (paperback)
common.buy 7.98 €
TOP
Sherlock Bones and the Horror of the Haunted Castle Tim Collins / Boek Gebonden (paperback)
common.buy 8.19 €

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?