scientific article; zbMATH DE number 67468

MaRDI QIDQ4012198zbMATH OpenFDO

Authors Marta Fraňová, Yves Kodratoff

Publication date 27 September 1992

zbMATH Keywords

planningmechanizing inductive proofsconstructive matching``how to clear a block problem

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

(2)

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