Articles (199)
Chapters (136)
Books (14)
Reports (52)
Dissertations (12)
-
1.Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis
-
-
-
-
Processing may take a few seconds...
Scientific article 140.0 5.431
Scientific article 200.0 6.937
Scientific article 200.0 6.937
Scientific article 200.0 16.971
Scientific article 70.0 1.333
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 200.0
Editing of scientific monograph 20.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
Synthetic data report
Synthetic data report
Synthetic data report
Synthetic data report
Synthetic data report
Dissertation
Dissertation
Dissertation
Dissertation
Dissertation