scientific article; zbMATH DE number 67468

MaRDI QIDQ4012198zbMATH OpenFDO

Authors Marta Fraňová, Yves Kodratoff

Publication date 27 September 1992

zbMATH Keywords

``how to clear a block problemconstructive matchingmechanizing inductive proofsplanning

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)

Cited in

(4)

• scientific article; zbMATH DE number 19767 (Why is no real title available?)
• scientific article; zbMATH DE number 549978 (Why is no real title available?)
• scientific article; zbMATH DE number 3995084 (Why is no real title available?)
• A strategy of matching blocks at multi-levels

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