Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving ... Belgium, 21-24 September 1992 (ISSN)
Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden ... Java And Symbolicc++ Programs (6th Edition)
Quotes to Ponder: Artificial Intelligence Edition: Analyzing & Reflecting Timeless & Contemporary Quotes for Inspiration, Motivation and Intellectual Growth