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
Cover for 9783319108155 Cover for 9783319084336 Cover for 9783642393198 Cover for 9783642313738 Cover for 9783642157592 Cover for 9783540873907 Cover for 9783540390909 Cover for 9783540230496 Cover for 9783540441298 Cover for 9783540664949
cover image for 9783319084336
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
By James H Davenport (editor), Alan Sexton (editor), Petr Sojka (editor), Josef Urban (editor) and Stephen M. Watt (editor)

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.

cover image for 9783642393198
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
By Petr Sojka (editor)

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.

cover image for 9783642313738
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
By John A. Campbell (editor), Jacques Carette (editor), Gabriel Dos Reis (editor), Johan Jeuring (editor) and Petr Sojka (editor)

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.

cover image for 9783540230496
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
By Ivan Kopecek (editor), Karel Pala (editor) and Petr Sojka (editor)

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.

displaying 1 to 10 | at end