search for books and compare prices
Petr Sojka has written 10 work(s)
Search for other authors with the same name
displaying 1 to 10 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Paperback:
9783319108155 | Springer-Verlag New York Inc, September 22, 2014, cover price $119.00
Product Description: This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics...read more
Paperback:
9783319084336 | Springer-Verlag New York Inc, July 28, 2014, cover price $95.00 | About this edition: This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics.
Product Description: This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics...read more
Paperback:
9783642393198 | Springer-Verlag New York Inc, July 22, 2013, cover price $83.00 | About this edition: This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics.
Product Description: This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, A.I.S.C. 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, D...read more
Paperback:
9783642313738 | Springer-Verlag New York Inc, May 30, 2012, cover price $99.00 | About this edition: This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, A.
Paperback:
9783642157592 | Springer-Verlag New York Inc, November 17, 2010, cover price $149.00
Paperback:
9783540873907 | Springer-Verlag New York Inc, November 10, 2008, cover price $159.00
Paperback:
9783540390909 | Springer-Verlag New York Inc, October 15, 2006, cover price $169.00
Product Description: This volume contains the Proceedings of the 7th International Conference on Text, Speech and Dialogue, held in Brno, Czech Republic, in September 2004, under the auspices of the Masaryk University. This series of international conferences on text, speech and dialogue has come to c- stitute a major forum for presentation and discussion, not only of the latest developments in academic research in these ?elds, but also of practical and industrial applications...read more
Paperback:
9783540230496 | Springer Verlag, October 1, 2004, cover price $169.00 | About this edition: This volume contains the Proceedings of the 7th International Conference on Text, Speech and Dialogue, held in Brno, Czech Republic, in September 2004, under the auspices of the Masaryk University.
Paperback:
9783540441298 | Springer Verlag, September 1, 2002, cover price $129.00
Paperback:
9783540664949 | Springer Verlag, June 1, 1999, cover price $119.00
displaying 1 to 10 |
at end