Skip to content

This website works best using cookies which are currently disabled.Cookie policy  Allow cookies
United States of America (English) Change
 

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.

QA4 Related Courses

No related courses found

QA4 Related Jobs

No related jobs found