scientific article
From MaRDI portal
Publication:3823818
zbMath0671.68039MaRDI QIDQ3823818
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (1)
This page was built for publication: