[Lecture Notes in Computer Science] Computer Algebra in Scientific Computing Volume 9890 || Incompleteness, Undecidability and Automated Proofs
- 作者Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V.
- 文件大小542.40KB
- 发表时间2016
- DOI10.1007/978-3-319-45641-6_10
- 页码134-155
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 9339 ||Saeed, Khalid; Homenda, Władysław · 2015
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 9842 ||Saeed, Khalid; Homenda, Władysław · 2016
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 10244 ||Saeed, Khalid; Homenda, Władysław; Chaki, Rituparna · 2017
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 10244 || Optimal Controlled Random TestsSaeed, Khalid; Homenda, Władysław; Chaki, Rituparna · 2017
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 9339 || Graph Databases: Their Power and LimitationsSaeed, Khalid; Homenda, Władysław · 2015
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 9842 || Mutual Information for Quaternion Time SeriesSaeed, Khalid; Homenda, Władysław · 2016
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 10244 || Blockchain Transaction Analysis Using Dominant SetsSaeed, Khalid; Homenda, Władysław; Chaki, Rituparna · 2017
[Lecture Notes in Computer Science] Computer Information Systems and Industrial Management Volume 9842 || Neural Network Classification of SDR Signal ModulationSaeed, Khalid; Homenda, Władysław · 2016