Claudia Schmidt (ed.) | Akateeminen Kirjakauppa

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

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS : 26TH INTERNATIONAL CONFERENCE, TABLEAUX 2017, BRASÍLIA, BRAZIL,

Tekijä: Renate A. Schmidt (ed.); Cláudia Nalon (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 64,10

CHANGE MANAGEMENT IN GESUNDHEITSUNTERNEHMEN : DIE GEHEIME MACHT DER EMOTIONEN IN VERÄNDERUNGSPROZESSEN

Tekijä: Martina Oldhafer (ed.); Stephan Schneider (ed.); Elisabeth Beil (ed.); Claudia Schmidt (ed.); Felix Nolte (ed.)
Kustantaja: Springer Gabler (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 46,40

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil,

Renate A. Schmidt (ed.), Cláudia Nalon (ed.)

64,10 €

Springer
Sivumäärä: 381 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2017, 31.08.2017 (lisätietoa)
Kieli: Englanti

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.

The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus