Kód: 05274735

Computational Logic and Proof Theory

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

Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 355
Nakladateľ: Springer, Berlin, 1997
Viac informácií o knihe

51.73 €

Bežne: 56.02 €

Ušetríte 4.29 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Beware the Villainess!, Vol. 4
14.88 € -24 %
Kúpiť
The TKT Course Young Learners Module
27.74 € -4 %
Kúpiť
Call Down the Hawk (The Dreamer Trilogy, Book 1)
14.77 € -25 %
Kúpiť
Degas at the Opera
44.65 € -22 %
Kúpiť
Ramen, Ramen!
13.05 € -27 %
Kúpiť
Radiant 1.
7.48 € -11 %
Kúpiť
Oxford Bookworms Library: Level 4:: The Scarlet Letter
12.75 €
Kúpiť
Nepodľahnite vojvodovi
11.94 € -31 %
Kúpiť
Wellbeing Activity Book
16.90 € -10 %
Kúpiť
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift
17.51 € -2 %
Kúpiť
Kreda biała Giotto Robercolor 100 sztuk
6.07 €
Kúpiť
Blaise de Monluc
18.12 € -1 %
Kúpiť
Kadin
20.14 € -4 %
Kúpiť
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More
12.45 € -26 %
Kúpiť
Classic Horror Stories
10.42 € -30 %
Kúpiť
Plantagenet England
51.23 €
Kúpiť
Business Finance
80.59 € -14 %
Kúpiť
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits
13.05 € -2 %
Kúpiť
High Performance Computational Science and Engineering
109.45 €
Kúpiť
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection
109.45 €
Kúpiť
Jung
46.87 €
Kúpiť
Visceral Pain
60.75 € -4 %
Kúpiť
Salzburger Jahrbuch für Politik 2018
45.76 €
Kúpiť
Aquatic Oligochaete Biology IX
171.53 €
Kúpiť
Dead Dead Demon's Dededede Destruction #2
16.60 €
Kúpiť
The Essential Tales of Chekhov
16.19 € -17 %
Kúpiť
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék
12.24 € -13 %
Kúpiť
Princess Power Chapter Book #1
9.20 € -19 %
Kúpiť
Social Demography of South Africa
61.05 €
Kúpiť
Insuficiencia Pancreatica Exocrina em Animais De Companhia
40.90 € -4 %
Kúpiť
The Recipe: Living Life with Ease
12.75 € -24 %
Kúpiť
THE BOOK OF JOB, FROM THE AUTHORISED VER
28.34 € -1 %
Kúpiť
Inmenso estrecho : cuentos sobre inmigración
19.43 €
Kúpiť
Avarice
15.58 €
Kúpiť
Las Formas de los Viajar
10.62 € -6 %
Kúpiť
Nationalities Problem & Soviet Administration
50.11 €
Kúpiť
Divinity Compromised
109.45 €
Kúpiť
Tchaikovsky's The Nutcracker (Clarinet)
21.15 €
Kúpiť
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL
50.92 €
Kúpiť
Cambridge Checkpoints VCE Food and Technology Units 3 and 4 2013
24.90 €
Kúpiť
Birthday Candles & Cake Postcard (Pkg of 25)
7.79 €
Kúpiť
Programming the Dynamic Analysis of Structures
289.40 €
Kúpiť
Dark Rose
27.53 €
Kúpiť
Pseudomonas syringae and Related Pathogens
205.96 € -7 %
Kúpiť
Pathohistologie Der Zahne
53.15 € -7 %
Kúpiť
Furchtlos
10.72 € -6 %
Kúpiť
Los bucaneros de las Indias Occidentales en el siglo XVII
27.23 €
Kúpiť
Why Brains Don't Compute
80.70 € -9 %
Kúpiť
Tier-Ornamentik im Norden
40.29 € -10 %
Kúpiť
Interactive Morphonology
56.09 €
Kúpiť
Tony Blair
38.17 € -14 %
Kúpiť
Renewal in the Wilderness
12.75 € -25 %
Kúpiť
Residential Child Care Staff Selection
82.92 €
Kúpiť
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B
44.55 € -14 %
Kúpiť
A Guide to Learn C++ and PHP Simultaneously
44.55 € -14 %
Kúpiť
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal
39.28 € -14 %
Kúpiť
Global Communication and Collaboration
55.58 € -9 %
Kúpiť
Threat Of Impending Disaster
42.12 €
Kúpiť
Cultivating and Keeping Committed Special Education Teachers
37.76 € -10 %
Kúpiť
Killed in the Open. a Novel.
22.27 € -24 %
Kúpiť
Principe de l'utilité et l'utilitarisme
12.85 € -6 %
Kúpiť
Pocahontas
9.71 € -9 %
Kúpiť
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths?
6.88 € -6 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Computational Logic and Proof Theory

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Artificial intelligence

51.73 €

Celý názov: Computational Logic and Proof Theory
Podnázov: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings
Autor: Georg Gottlob, Alexander Leitsch, Daniele Mundici
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 355
EAN: 9783540633853
ISBN: 3540633855
ID: 05274735
Nakladateľ: Springer, Berlin
Hmotnosť: 473 g
Rozmery: 234 × 156 × 19 mm
Rok vydania: 1997