Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
QA4
Jump to user comments
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.
Related search result for "QA4"
Comments and discussion on the word "QA4"