Roberto Sebastiani | Akateeminen Kirjakauppa

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

FRONTIERS OF COMBINING SYSTEMS - 7TH INTERNATIONAL SYMPOSIUM, FROCOS 2009, TRENTO, ITALY, SEPTEMBER 16-18, 2009, PROCEEDINGS

Silvio Ghilardi; Roberto Sebastiani
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

49,60 €

RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES - 14TH EUROPEAN CONFERENCE, ECDL 2010, GLASGOW, UK, SEPTEMBER 6-10, 2010,

Mounia Lalmas; Joemon Jose; Andreas Rauber; Roberto Sebastiani; Ingo Frommholz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

49,60 €

STRING PROCESSING AND INFORMATION RETRIEVAL - 18TH INTERNATIONAL SYMPOSIUM, SPIRE 2011, PISA, ITALY, OCTOBER 17-21, 2011, PROCE

Roberto Grossi; Fabrizio Silvestri; Fabrizio Sebastiani
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING -- SAT 2012 - 15TH INTERNATIONAL CONFERENCE, TRENTO, ITALY, JUNE 17-20, 2012,

Alessandro Cimatti; Roberto Sebastiani
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

49,60 €

AUTOMATED REASONING - 9TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2018, HELD AS PART OF THE FEDERATED LOGIC CONFERENCE, FLOC 2018,

Didier Galmiche; Stephan Schulz; Roberto Sebastiani
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

Frontiers of Combining Systems - 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Silvio Ghilardi, Roberto Sebastiani

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 383 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009
Julkaisuvuosi: 2009, 07.09.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Artificial Intelligence

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving 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