Claude Kirchner | Akateeminen Kirjakauppa

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

AUTOMATED DEDUCTION - CADE-15 - 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, LINDAU, GERMANY, JULY 5-10, 1998, PROCEEDI

Tekijä: Claude Kirchner; Helene Kirchner
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

REWRITING, COMPUTATION AND PROOF - ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY

Tekijä: Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL TO PRACTICAL SECURITY - PAPERS ISSUED FROM THE 2005-2008 FRENCH-JAPANESE COLLABORATION

Tekijä: Véronique Cortier; Claude Kirchner; Mitsuhiro Okada; Hideki Sakurada
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

AUTOMATA, LANGUAGES AND PROGRAMMING - 37TH INTERNATIONAL COLLOQUIUM, ICALP 2010, BORDEAUX, FRANCE, JULY 6-10, 2010, PROCEEDINGS,

Tekijä: Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

AUTOMATA, LANGUAGES AND PROGRAMMING : 37TH INTERNATIONAL COLLOQUIUM, ICALP 2010, BORDEAUX, FRANCE, JULY 6-10, 2010, PROCEEDINGS,

Tekijä: Samson Abramsky (ed.); Cyril Gavoille (ed.); Claude Kirchner (ed.); Friedhelm Meyer auf der Heide (ed.); Paul (ed. Spirakis
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

Automated Deduction - CADE-15 - 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedi

Claude Kirchner, Helene Kirchner

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 450 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 24.06.1998 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus