3 Електронні книги від Catherine Dubois
Catherine Dubois & Burkhart Wolff: Tests and Proofs
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, …
EPUB
Англійська
DRM
€57.64
Catherine Dubois: Tests and Proofs
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. Th …
PDF
Англійська
DRM
€57.19
Catherine Dubois & Manfred Kerber: Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 proj …
EPUB
Англійська
DRM
€76.61