Kód: 05274735

Computational Logic and Proof Theory

Name: Computational Logic and Proof Theory
Brand: Springer, Berlin
SKU: 05274735
Price: 1182.00 CZK
Availability: InStock
Author: Georg Gottlob
ISBN: 9783540633853

Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 355
Nakladatelství: Springer, Berlin, 1997
Více informací o knize

1182 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Call Down the Hawk (The Dreamer Trilogy, Book 1)
334 Kč
Koupit
Nepodľahnite vojvodovi
320 Kč
Koupit
Beware the Villainess!, Vol. 4
335 Kč
Koupit
The TKT Course Young Learners Module
635 Kč
Koupit
Degas at the Opera
1012 Kč
Koupit
Ramen, Ramen!
294 Kč
Koupit
Radiant 1.
180 Kč
Koupit
Bestiary
318 Kč
Koupit
Oxford Bookworms Library: Level 4:: The Scarlet Letter
284 Kč
Koupit
Wellbeing Activity Book
409 Kč
Koupit
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift
424 Kč
Koupit
Kreda biała Giotto Robercolor 100 sztuk
147 Kč
Koupit
Blaise de Monluc
437 Kč
Koupit
Kadin
461 Kč
Koupit
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More
292 Kč
Koupit
Classic Horror Stories
235 Kč
Koupit
Plantagenet England
1176 Kč
Koupit
F&E Controling in Theorie und Praxis
389 Kč
Koupit
Business Finance
1835 Kč
Koupit
Ethics, Law and Health Care
1677 Kč
Předobjednat
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection
2357 Kč
Koupit
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits
316 Kč
Koupit
High Performance Computational Science and Engineering
2357 Kč
Koupit
Salzburger Jahrbuch für Politik 2018
1109 Kč
Koupit
Jung
1133 Kč
Koupit
Social Demography of South Africa
1475 Kč
Koupit
Aquatic Oligochaete Biology IX
3532 Kč
Koupit
Visceral Pain
1471 Kč
Koupit
Princess Power Chapter Book #1
210 Kč
Koupit
Brother for Rent 04
148 Kč
Koupit
Dead Dead Demon's Dededede Destruction #2
402 Kč
Koupit
The Essential Tales of Chekhov
391 Kč
Koupit
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék
295 Kč
Koupit
Insuficiencia Pancreatica Exocrina em Animais De Companhia
813 Kč
Koupit
Inside Jazz
391 Kč
Koupit
Dark Rose
666 Kč
Koupit
The Recipe: Living Life with Ease
308 Kč
Koupit
Why Brains Don't Compute
1843 Kč
Koupit
Avarice
376 Kč
Koupit
Nationalities Problem & Soviet Administration
1212 Kč
Koupit
Las Formas de los Viajar
257 Kč
Koupit
THE BOOK OF JOB, FROM THE AUTHORISED VER
685 Kč
Koupit
Introductory Computer Forensics
2762 Kč
Koupit
Residential Child Care Staff Selection
1914 Kč
Koupit
Inmenso estrecho : cuentos sobre inmigración
468 Kč
Koupit
Divinity Compromised
2357 Kč
Koupit
Global Communication and Collaboration
1269 Kč
Koupit
Leadership Development in the Middle East
1348 Kč
Koupit
Cambridge Checkpoints VCE Food and Technology Units 3 and 4 2013
571 Kč
Koupit
Tchaikovsky's The Nutcracker (Clarinet)
514 Kč
Koupit
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL
1227 Kč
Koupit
Programming the Dynamic Analysis of Structures
6995 Kč
Koupit
Birthday Candles & Cake Postcard (Pkg of 25)
180 Kč
Koupit
Furchtlos
259 Kč
Koupit
Pseudomonas syringae and Related Pathogens
4707 Kč
Koupit
Tier-Ornamentik im Norden
732 Kč
Koupit
Pathohistologie Der Zahne
1214 Kč
Koupit
Los bucaneros de las Indias Occidentales en el siglo XVII
656 Kč
Koupit
Interactive Morphonology
1355 Kč
Koupit
Renewal in the Wilderness
308 Kč
Koupit
Teaching Shakespeare with Film and Television
1308 Kč
Koupit
Fortaellinger fra stovlelandet
161 Kč
Koupit
Tony Blair
869 Kč
Koupit
Threat Of Impending Disaster
973 Kč
Koupit
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal
893 Kč
Koupit
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B
1014 Kč
Koupit
Killed in the Open. a Novel.
538 Kč
Koupit
Cultivating and Keeping Committed Special Education Teachers
914 Kč
Koupit
A Guide to Learn C++ and PHP Simultaneously
1014 Kč
Koupit
Principe de l'utilité et l'utilitarisme
310 Kč
Koupit
Pocahontas
204 Kč
Koupit
Textbooks? Not Yet-We Must Teach Character First!
446 Kč
Koupit
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths?
166 Kč
Koupit
Embracing Your Inner Cheerleader
339 Kč
Koupit
Godbuster: Banishes all known gods
375 Kč
Koupit
Thoreau Calendar;
707 Kč
Koupit
Politics of Race
2308 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Computational Logic and Proof Theory

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence

1182 Kč

Plný název: Computational Logic and Proof Theory
Podnázev: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings
Autor: Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 355
EAN: 9783540633853
ISBN: 3540633855
ID: 05274735
Nakladatelství: Springer, Berlin
Hmotnost: 473 g
Rozměry: 234 × 156 × 19 mm
Rok vydání: 1997