Using the tree representation of terms to recognize matching with neural networks (Q4375956): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530367
@@ Property / cites work: Q4530367 / rank @@
+Normal rank
@@ Property / cites work @@
+The Specialization of Programs by Theorem Proving
@@ Property / cites work: The Specialization of Programs by Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4375956