scientific article

zbMATH Open0872.68161MaRDI QIDQ3126947

Koichi Furukawa

Publication date: 3 April 1997

Title of this publication is not available (Why is that?)

zbMATH Keywords

inductive learningknowledge base

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• An approach to the inductive synthesis of programs 👍 👎
• From program verification to program synthesis 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3126947)