Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 67468

From MaRDI portal
Publication:4012198
Jump to:navigation, search

zbMATH Open0745.68104MaRDI QIDQ4012198FDOQ4012198


Authors: Marta Fraňová, Yves Kodratoff Edit this on Wikidata


Publication date: 27 September 1992



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



Recommendations

  • scientific article; zbMATH DE number 549978
  • scientific article; zbMATH DE number 3995084
  • scientific article; zbMATH DE number 19767
  • scientific article; zbMATH DE number 3934387
  • scientific article; zbMATH DE number 3880144


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)

  • Title not available (Why is that?)
  • 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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4012198&oldid=17711957"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 01:33. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki