Michael Kohlhase 著
The OMDoc （Open Mathematical Documents） format is a content markup sc…
可购
Jayadev Misra 著
This book presents the refereed proceedings of the 14th International S…
可购
Jacques Julliand，Olga Kouchnarenko 著…
This book constitutes the refereed proceedings of the 7th International…
可购
Brahim Hnich 著
This book constitutes the thoroughly refereed and extended post-proceed…
可购
Asit Dan，Winfried Lamersdorf 著
This book constitutes the refereed proceedings of the 4th International…
可购
鄂公网安备 42010302001612号 