翻訳と辞書
Words near each other
・ bap
・ bapi
・ bar
・ bar code
・ bare metal
・ barf
・ barfmail
・ barfulation
・ barfulous
・ barney
baroque
・ barrel shifter
・ barycentric
・ base
・ base 64
・ base class
・ base memory
・ base technology
・ baseband
・ baseline


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

baroque : FOLDOC
Baroque
An early logic programming language written by Boyer and Moore in 1972.
["Computational Logic: Structure Sharing and Proof of program Properties", J. Moore, DCL Memo 67, U Edinburgh 1974].
[Jargon File]
(1995-02-22)



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

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