Articles (191)
-
-
-
-
4.
-
Chapters (128)
Books (13)
Dissertations (12)
-
1.Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis
-
-
-
-
Processing may take a few seconds...
Scientific article 70.0 1.333
Scientific article 70.0 1.809
Scientific article 100.0 2.524
Scientific article 100.0 2.679
Scientific article 100.0 6.191
Chapter in monograph 20.0
Chapter in monograph / paper
Chapter in monograph / paper 20.0 70.0
Chapter in monograph / paper 20.0
Chapter in monograph / paper 5.0 140.0
Editing of scientific monograph / conference proceedings 20.0
Editing of scientific monograph / conference proceedings 20.0
Editing of scientific monograph / conference proceedings 20.0
Editing of scientific monograph 20.0
Editing of scientific monograph / conference proceedings 20.0
Dissertation
Dissertation
Dissertation
Dissertation
Dissertation