sign in
·
help
·
news
·
about
·
:
1
2
BibSonomy
::
user
::
emanuel
::
tag
user
group
author
concept
BibTeX key
search:all
search:emanuel
The blue social bookmark and publication sharing system.
Home
tags
authors
relations
groups
popular
discussed posts
>
|
<
RSS
BibTeX
XML
bookmarks
(1)
<<
< 1 >
>>
Otto-Friedrich-Universität Bamberg: Kitzelmann
emanuel's university homepage
to
bamberg
emanuel
ifp
igor1
igor2
inductive_programming
kitzelmann
program_synthesis
by
emanuel
on
Dec 19, 2007, 2:54 PM
(0)
<<
< 1 >
>>
bookmarks per page:
5
10
20
50
100
publications
publications per page:
5
10
20
50
100
bamberg
as tag from all users
related tags
+
igor1
+
igor2
+
inductive_programming
+
kitzelmann
+
program_synthesis
+
emanuel
+
ifp
relations
tags
inductive_programming
program_synthesis
induction
ilp
ifp
enumerative_ip
machine_learning
analytical_ip
ip-system
recursion
inproceedings
program_evolution
gp
article
higher-order_functions
ase
learnability
book
lisp
igor2
applications
term_rewriting
seminal_paper
adate
deductive_program_synthesis
software_engineering
igor1
foil
recursive_program_schemes
comparison
experiment
functional_programming
survey
overview
algebraic_specification
predicate_invention
cognition
program_transformation
programming
iflp
constructor_systems
pac-learning
planning
synthesis_from_traces
olsson
logic
flip
parallel_programming
pre-summers
recursion_theory