Articles (295)
Chapters (263)
Books (17)
Reports (133)
-
-
-
-
4.
-
Dissertations (18)
-
-
2.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 70.0 4.854
Scientific article 100.0 2.524
Scientific article 200.0 11.979
Chapter in monograph / paper 70.0
Chapter in monograph 20.0
Chapter in monograph / paper
Chapter in monograph / paper 20.0 70.0
Chapter in monograph / paper 20.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
Scholarly textbook / script 80.0
Research report
Research report
Research report
Synthetic data report
Synthetic data report
Dissertation before defense
Dissertation
Dissertation
Dissertation
Dissertation