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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: Q « QA « qa « QA4 » QAM » Qbasic » QBE


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.