scientific article; zbMATH DE number 4187159

MaRDI QIDQ5752001zbMATH OpenFDO

Authors Chris Tong, Ph. Franklin

Publication date 1989

zbMATH Keywords

compiler-like systemlearning techniquesproblem solvingsearch-based circuit design

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 194616
• scientific article; zbMATH DE number 2089769
• scientific article; zbMATH DE number 2147920
• scientific article; zbMATH DE number 2087682
• Formal basis for the refinement of rule based transition systems

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 Q5752001)