QA4
Question-answering language. A procedural calculus for intuitive reasoning. A LISP-based pattern-matching language for theorem proving. "QA4, A Language for Writing Problem-Solving Programs", J.F. Rulifson et al, Proc IFIP Congress 1968.Nearby terms:
Pythagorean Theorem ♦ Python ♦ Q ♦ QA ♦ qa ♦ QA4 ♦ QAM ♦ Qbasic ♦ QBE ♦ QBIC ♦ QCA
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
