Analytical Inductive Functional Programming (Q3617432): Difference between revisions

@@ Property / describes a project that uses @@
+GOLEM
@@ Property / describes a project that uses: GOLEM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FOIL
@@ Property / describes a project that uses: FOIL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-00515-2_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2153618117
@@ Property / OpenAlex ID: W2153618117 / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+A Methodology for LISP Program Construction from Examples
+Normal rank
@@ Property / cites work @@
+Q3093353
@@ Property / cites work: Q3093353 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully Automatic Testing with Functions as Specifications
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive synthesis of recursive logic programs: achievements and prospects
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank