SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Manfred Kerber | Akateeminen Kirjakauppa

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



SYMBOLIC COMPUTATION & AUTO REASON
Manfred Kerber; Michael Kohlhase
Taylor & Francis Inc (2001)
Kovakantinen kirja
117,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Florian Rabe; Volker Sorge
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg,
Manuel Kauers; Manfred Kerber; Robert Miner; Wolfgang Windsteiger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computational Logic — CL 2000 - First International Conference London, UK, July 24–28, 2000 Proceedings
John Lloyd; Veronica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luis M. Pereira; Ye Sagiv
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Catherine Dubois; Manfred Kerber
Springer International Publishing AG (2023)
Pehmeäkantinen kirja
65,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SYMBOLIC COMPUTATION & AUTO REASON
117,40 €
Taylor & Francis Inc
Sivumäärä: 288 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2001, 02.04.2001 (lisätietoa)
Kieli: Englanti
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
SYMBOLIC COMPUTATION & AUTO REASON
Näytä kaikki tuotetiedot
ISBN:
9781568811451
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste