[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA
Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, AlexeiVolume:
10.1007/11
Year:
2006
Language:
english
Pages:
11
DOI:
10.1007/11853886_21
File:
PDF, 277 KB
english, 2006