翻訳と辞書
Words near each other
・ pw
・ pwm
・ py
・ pythagoras
・ pythagoras' theorem
・ pythagoras's theorem
・ pythagorean theorem
・ python
・ q'nial
・ qa
qa4
・ qam
・ qbasic
・ qbe
・ qca
・ qcif
・ qdjanus
・ qdos
・ qemm386
・ qic


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

qa4 : FOLDOC
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.



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.