scientific article; zbMATH DE number 1203398

zbMath0904.68157MaRDI QIDQ4209625

Bertram Fronhöfer

Publication date: 28 September 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear connection method

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Generating plans in linear logic. I: Actions as proofs

This page was built for publication: