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

Claude Kirchner; Helene Kirchner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja

49,60 €

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

Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

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

Véronique Cortier; Claude Kirchner; Mitsuhiro Okada; Hideki Sakurada
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

49,60 €

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

Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

97,90 €

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

Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

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
Tuotesarja: Lecture Notes in Artificial Intelligence

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 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus