Deepak Kapur

D.K · D. Kapur

Titel ISBN-13Erschei-
nungsjahr
andere Autoren
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings 978-3-540-55602-21992
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562) 978-3-319-08586-92014Stéphane Demri · Christoph Weidenbach
Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers 978-3-540-87826-12008
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, ... Notes in Computer Science, Band 9984) 978-3-319-47676-62016Martin Fränzle · Naijun Zhan
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 978-3-319-47678-02016Martin Fränzle · Naijun Zhan
Geometric Reasoning
978-0-262-61058-21989Joseph L. Mundy
Symbolic and Numerical Computation for Artificial Intelligence
978-0-12-220535-41992Bruce R. Donald · Joseph L. Mundy
Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings 978-3-319-67728-62017Dang Van Hung

Academic Press · Springer · The MIT Press

 

Deepak Kar