Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Computational Logic and Proof Theory

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

Language EnglishEnglish
Book Paperback
Book Computational Logic and Proof Theory Georg Gottlob
Libristo code: 05274735
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Full description
? points 125 b
51.68 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kreda biała Giotto Robercolor 100 sztuk / Stationery items Stationery items
common.buy 6.06 €
Una mujer endemoniada Jim Thompson / E-book Adobe ePub DRM
common.buy 11.02 €
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Book Paperback
common.buy 39.24 €
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Book Paperback
common.buy 16.58 €
Radiant 1. Tony Valente / Book Paperback
common.buy 7.48 €
Galgbranten / Book Hardback
common.buy 18.00 €
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Book Hardback
common.buy 12.23 €
Talibin fighter Abu Al -Faraj Al -Isfahani / E-book Adobe ePub DRM
common.buy 19.82 €
Top
Nepodľahnite vojvodovi Anna Bradley / Book Hardback
common.buy 14.66 €
F&E Controling in Theorie und Praxis Christian Kunert / Book Paperback
common.buy 17.09 €
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Book Paperback
common.buy 44.50 €
Pack Dolmen: Superoso y su amigo. Vol. 1 y 2 MIKE KUNKEL / Book Paperback
common.buy 22.55 €
Inmenso estrecho : cuentos sobre inmigración / Book Paperback
common.buy 19.41 €
Kadin Osho (Bhagman Shree Rajneesh) / Book Paperback
common.buy 20.12 €
Furchtlos Andreas Adlon / Book Paperback
common.buy 11.22 €
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Book Paperback
common.buy 27.10 €
Principe de l'utilité et l'utilitarisme John Stuart Mill / Book Paperback
common.buy 13.44 €
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Book Paperback
common.buy 47.74 €
Geschichte der Malerei im XIX Richard Muther / Book Paperback
common.buy 29.83 €
Brother for Rent 04 Monika Hammond / Book Paperback
common.buy 6.56 €
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Book 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 / Book 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computational Logic and Proof Theory
Author Georg Gottlob, Alexander Leitsch, Daniele Mundici
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 355
EAN 9783540633853
ISBN 3540633855
Libristo code 05274735
Publishers Springer, Berlin
Weight 473
Dimensions 156 x 234 x 19

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Why Brains Don't Compute Dale Purves / Book Paperback
common.buy 80.61 €
High Performance Computational Science and Engineering Michael K. Ng / Book Paperback
common.buy 102.97 €
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Book Paperback
common.buy 44.50 €
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Book Paperback
common.buy 13.75 €
Classic Horror Stories David Stuart Davies / Book Hardback
common.buy 10.41 €
The Recipe: Living Life with Ease Ramdas Ormond / Book Paperback
common.buy 13.54 €
Embracing Your Inner Cheerleader Joan Ellen Gage / Book Paperback
common.buy 14.76 €
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Book Paperback
common.buy 7.17 €
Godbuster: Banishes all known gods Elliot George / Book Paperback
common.buy 16.28 €
Blaise de Monluc A. W. Evans / Book Paperback
common.buy 19.01 €
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Book Hardback
common.buy 29.73 €
Business Finance Eddie McLaney / Book Paperback
common.buy 80.51 €
Global Communication and Collaboration Klaus-Dieter Gronwald / Book Hardback
common.buy 55.53 €
Top
The TKT Course Young Learners Module Kate Gregson / Book Paperback
common.buy 28.62 €
Coming soon New
Ethics, Law and Health Care Shih-Ning Then / Book Paperback
common.buy 73.13 €
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Book Hardback
common.buy 7.78 €
Wellbeing Activity Book Amy Birch / Book Paperback
common.buy 16.98 €
Animal Places Jacob Bull / E-book Adobe ePub DRM
common.buy 63.31 €
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Book Paperback
common.buy 102.97 €
Modern Art J.-.K. Huysmans / E-book Adobe ePub DRM
common.buy 14.05 €
Ramen, Ramen! Zachary Woodard / Book Paperback
common.buy 13.95 €
Jung Casement / Book Paperback
common.buy 48.85 €
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Book Paperback
common.buy 12.84 €
Interactive Morphonology Martin Maiden / Book Paperback
common.buy 58.56 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?