Claude Kirchner (ed.) | 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 (ed.); Helene Kirchner (ed.)
Springer (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 (ed.); Claude Kirchner (ed.); Hélène Kirchner (ed.)
Springer (2007)
Pehmeäkantinen kirja

49,60 €

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

Véronique Cortier (ed.); Claude Kirchner (ed.); Mitsuhiro Okada (ed.); Hideki Sakurada (ed.)
Springer (2009)
Pehmeäkantinen kirja

49,60 €

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

Samson Abramsky (ed.); Cyril Gavoille (ed.); Claude Kirchner (ed.); Friedhelm Meyer auf der Heide (ed.); Paul (ed. Spirakis
Springer (2010)
Pehmeäkantinen kirja

97,90 €

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

Samson Abramsky (ed.); Cyril Gavoille (ed.); Claude Kirchner (ed.); Friedhelm Meyer auf der Heide (ed.); Paul (ed. Spirakis
Springer (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 (ed.), Helene Kirchner (ed.)

49,60 €

Springer
Sivumäärä: 450 sivua
Asu: Pehmeäkantinen kirja
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

Myymäläsaatavuus