Alexander Leitsch (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURT GÖDEL COLLOQUIUM, KGC'93, BRNO, CZECH REPUBLIC, AUGUST 24-27, 1993. PROCEEDING

Tekijä: Georg Gottlob (ed.); Alexander Leitsch (ed.); Daniele Mundici (ed.)
Kustantaja: Springer (1993)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

COMPUTATIONAL LOGIC AND PROOF THEORY : 5TH KURT GÖDEL COLLOQUIUM, KGC'97, VIENNA, AUSTRIA, AUGUST 25-29, 1997, PROCEEDINGS

Tekijä: Georg Gottlob (ed.); Alexander Leitsch (ed.); Daniele Mundici (ed.)
Kustantaja: Springer (1997)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

AUTOMATED REASONING : FIRST INTERNATIONAL JOINT CONFERENCE, IJCAR 2001 SIENA, ITALY, JUNE 18-23, 2001 PROCEEDINGS

Tekijä: Rajeev Gore (ed.); Alexander Leitsch (ed.); Tobias Nipkow (ed.)
Kustantaja: Springer (2001)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceeding

Georg Gottlob (ed.), Alexander Leitsch (ed.), Daniele Mundici (ed.)

49,60 €

Springer
Sivumäärä: 354 sivua
Asu: Pehmeäkantinen kirja
Painos: 1993
Julkaisuvuosi: 1993, 13.08.1993 (lisätietoa)
Kieli: Englanti

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus