Computational Logic and Proof Theory

Name: Computational Logic and Proof Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540571841
Price: 18168 HUF
Availability: InStock

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Szerző: Georg Gottlob, Alexander Leitsch, Daniele Mundici

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

18 168 Ft

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a...

Információk a könyvről

Szerző

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1993

oldal

354

EAN

9783540571841

ISBN

3540571841

Enbook ID

05274334

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1160

Méretek

216 x 279 x 20

Teljes leírás

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a series of biennial§symposia on logic, theoretical computer science, and§philosophy of mathematics. The aim of this meeting wasto§bring together researchers working in the fields of§computational logic and proof theory. While proof theory§traditionally is a discipline of mathematical logic, the§central activity in computational logic can be foundin§computer science. In both disciplines methods were invented§which arecrucial to one another. This volume contains the§proceedings of the symposium. It contains contributions by§36 authors from 10 different countries. In addition to 10§invited papers there are 26 contributed papers selected from§over 50 submissions.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Computational Logic and Proof Theory

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták