翻訳と辞書
Words near each other
・ seneca
・ senior bit
・ sense
・ sensor
・ sentence
・ sep
・ separate compilation
・ sepia
・ sepp
・ seque
sequel
・ sequenced packet exchange
・ sequencer
・ sequent
・ sequential coding
・ sequential file matching
・ sequential parlog machine
・ sequential processing
・ serc
・ sercos


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

sequel : FOLDOC
Sequel
1. Precursor to SQL.
["System R: Relational Approach to Database Management", IBM Res Lab, San Jose, reprinted in Readings in Database Systems].
2. U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp.
[Proc ICJAI 13].
{(ftp://agora.leeds.ac.uk/scs/logic/)}.



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

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