共 50 条
- [31] ELF - A LANGUAGE FOR LOGIC DEFINITION AND VERIFIED METAPROGRAMMING FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 313 - 322
- [35] CSDP, a C library for semidefinite programming OPTIMIZATION METHODS & SOFTWARE, 1999, 11-2 (1-4): : 613 - 623
- [37] Encog: Library of interchangeable machine learning models for Java and C# J. Mach. Learn. Res., (1243-1247):