Results 331 to 339 of about 6,127,131 (339)
Some of the next articles are maybe not open access.
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Deutsche Jahrestagung für Künstliche Intelligenz, 2008M. Hofmann, E. Kitzelmann, Ute Schmid
semanticscholar +1 more source
Incremental Learning in Inductive Programming
Approaches and Applications of Inductive Programming, 2009R. Henderson
semanticscholar +1 more source
International Conference on Inductive Logic Programming, 1999
Alan M. Frisch
semanticscholar +1 more source
Alan M. Frisch
semanticscholar +1 more source
International Conference on Automated Software Engineering, 2001
P. Flener, D. Partridge
semanticscholar +1 more source
P. Flener, D. Partridge
semanticscholar +1 more source
Towards Human-Level Inductive Functional Programming
Artificial General Intelligence, 2015Susumu Katayama
semanticscholar +1 more source
Inductive Beluga: Programming Proofs
CADE, 2015B. Pientka, Andrew Cave
semanticscholar +1 more source