翻訳と辞書
Words near each other
・ obe
・ oberon
・ oberon-2
・ oberon-v
・ obex
・ obfuscated c contest
・ obi-wan error
・ obj
・ obj0
・ obj2
obj3
・ object
・ object chill
・ object code
・ object compatibility standard
・ object constraint language
・ object data management group
・ object database management group
・ object exchange
・ object identifier


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

obj3 : FOLDOC
OBJ3
A version of OBJ based on {order-sorted rewriting}. OBJ3 is agent-oriented and runs on AKCL.
E-mail: , .
["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988].
(1995-03-16)



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

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