scientific article; zbMATH DE number 3362979
From MaRDI portal
Publication:5636314
zbMath0228.68023MaRDI QIDQ5636314
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Pattern recognition, speech recognition (68T10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68Txx)
Related Items (2)
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ A program that computes limits using heuristics to evaluate the indeterminate forms
This page was built for publication:
