scientific article
From MaRDI portal
Publication:3932279
zbMath0476.68011MaRDI QIDQ3932279
Patrick H. Winston, Berthold K. P. Horn
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
pattern matchingexpert systemsprogrammingcompilersinterpreterssymbol manipulationartifical intelligenceMACLISPINTERLISP
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in the theory of software (68N01)
Related Items
The critical inclination in artificial satellite theory, An architecture for expert system based feedback control, Computing structure: Sets, structures, and invariants in LISP, Semantic networks, Extraction and verification of programs by analysis of formal proofs
