| |
SciFinance: A Program Synthesis Tool for Financial Modeling. By Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, and Robert L. Young. AI Magazine 22(2): Summer 2001, 27-42.
Indeterminacy in concurrent computation Intended interpretation International Symposium on Logic-based Program Synthesis and Transformation N ...
See also: Artificial intelligence, Knowledge, Knowledge base, Planning, AI
 
|