Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540666721
Format: Paperback (287 pages) Publisher: Springer Published: 13 Oct 1999
Save for later
Interference Coordination for 5G Cellular Networks: 0 (SpringerBriefs in Electrical and Computer Engineering)
by Lu Yang,Wei Zhang
ISBN 13: 9783319247212
Format: Paperback (76 pages) Publisher: Springer Published: 24 Nov 2015
Automated Inequality Proving and Discovering
by Bican Xia,Lu Yang
ISBN 13: 9789814759113
Format: Hardcover (344 pages) Publisher: World Scientific Publishing Company Published: 21 Aug 2016