SULJE VALIKKO

avaa valikko

Boris Konev | Akateeminen Kirjakauppa

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



Frontiers of Combining Systems - 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Boris Konev; Frank Wolter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings
Boris Konev; Giles Reger
Springer Nature Switzerland AG (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
73,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logics in Artificial Intelligence - 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
Michael Fisher; Wiebe van der Hoek; Boris Konev; Alexei Lisitsa
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Frontiers of Combining Systems - 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 286 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 23.08.2007 (lisätietoa)
Kieli: Englanti
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and 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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Frontiers of Combining Systems - 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedingszoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste