scientific article; zbMATH DE number 4187159

zbMATH Open0719.68082MaRDI QIDQ5752001FDOQ5752001

Authors: Chris Tong, Ph. Franklin 

Publication date: 1989

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

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

zbMATH Keywords

problem solvinglearning techniquescompiler-like systemsearch-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)

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)